StrategyRewriteGraph.TransitionType

java.lang.Object

es.ucm.maude.bindings.StrategyRewriteGraph.TransitionType

Enclosing class:: StrategyRewriteGraph

public static final class StrategyRewriteGraph.TransitionType extends Object

Cause of the transition in the graph.

Field Summary

Fields

Modifier and Type

Field

Description

static final StrategyRewriteGraph.TransitionType

OPAQUE_STRATEGY

opaque strategy

static final StrategyRewriteGraph.TransitionType

RULE_APPLICATION

rule application

static final StrategyRewriteGraph.TransitionType

SOLUTION

self-loops for solutions
Method Summary

Modifier and Type

Method

Description

static StrategyRewriteGraph.TransitionType

swigToEnum(int swigValue)

final int

swigValue()

String

toString()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details
- RULE_APPLICATION
  
  public static final StrategyRewriteGraph.TransitionType RULE_APPLICATION
  
  rule application
- OPAQUE_STRATEGY
  
  public static final StrategyRewriteGraph.TransitionType OPAQUE_STRATEGY
  
  opaque strategy
- SOLUTION
  
  public static final StrategyRewriteGraph.TransitionType SOLUTION
  
  self-loops for solutions
Method Details
- swigValue
  
  public final int swigValue()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- swigToEnum
  
  public static StrategyRewriteGraph.TransitionType swigToEnum(int swigValue)