ix.util.match
Class MatchChoice
java.lang.Object
ix.util.match.MatchChoice
public class MatchChoice
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
S_VARIABLE
public static final Symbol S_VARIABLE
S_MATCH_CHOICE
public static final Symbol S_MATCH_CHOICE
branches
protected java.util.List branches
variables
protected java.util.Set variables
__liveBranches
protected ContextValue __liveBranches
MatchChoice
public MatchChoice()
MatchChoice
public MatchChoice(java.util.List initialBranches)
MatchChoice
public MatchChoice(Constraint c)
toConstraint
public Constraint toConstraint()
getVariables
public java.util.Set getVariables()
getLiveBranches
public java.util.List getLiveBranches()
computeVariableSet
protected void computeVariableSet()