java.lang.Object
org.maxicp.modeling.symbolic.SeqVarImpl
- All Implemented Interfaces:
Serializable,Expression,SeqExpression,SeqVar,SymbolicSeqVar,SymbolicVar,Var
- See Also:
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionintintdefaultFillInsert(int node, int[] dest) intdefaultFillNode(int[] dest, SeqStatus status) intdefaultFillPred(int node, int[] dest, SeqStatus status) intdefaultFillSucc(int node, int[] dest, SeqStatus status) booleandefaultHasEdge(int from, int to) booleandefaultHasInsert(int prev, int node) booleandefaultIsNode(int node, SeqStatus status) intdefaultMemberAfter(int node) intdefaultMemberBefore(int node) intdefaultNInsert(int node) intintdefaultNNode(SeqStatus status) intdefaultNPred(int node) intdefaultNSucc(int node) intReturns the ModelDispatcher linked to this ExpressionisNodeRequired(int node) Gives a variable telling if a given node must be visitedtoString()Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitMethods inherited from interface org.maxicp.modeling.algebra.Expression
subexpressionsMethods inherited from interface org.maxicp.modeling.SeqVar
computeSubexpressions, fillPred, fillSucc, isFixed, mapSubexpressionsMethods inherited from interface org.maxicp.modeling.symbolic.SymbolicSeqVar
defaultFillPred, defaultFillSucc, end, fillInsert, fillNode, fillPred, fillSucc, hasEdge, hasInsert, isNode, memberAfter, memberBefore, nInsert, nNode, nNode, nPred, nSucc, start
-
Constructor Details
-
SeqVarImpl
-
-
Method Details
-
getModelProxy
Description copied from interface:ExpressionReturns the ModelDispatcher linked to this Expression- Specified by:
getModelProxyin interfaceExpression- Specified by:
getModelProxyin interfaceVar
-
toString
-
defaultStart
public int defaultStart()- Specified by:
defaultStartin interfaceSymbolicSeqVar
-
defaultEnd
public int defaultEnd()- Specified by:
defaultEndin interfaceSymbolicSeqVar
-
defaultNNode
public int defaultNNode()- Specified by:
defaultNNodein interfaceSymbolicSeqVar
-
defaultFillNode
- Specified by:
defaultFillNodein interfaceSymbolicSeqVar
-
defaultNNode
- Specified by:
defaultNNodein interfaceSymbolicSeqVar
-
defaultIsNode
- Specified by:
defaultIsNodein interfaceSymbolicSeqVar
-
defaultMemberAfter
public int defaultMemberAfter(int node) - Specified by:
defaultMemberAfterin interfaceSymbolicSeqVar
-
defaultMemberBefore
public int defaultMemberBefore(int node) - Specified by:
defaultMemberBeforein interfaceSymbolicSeqVar
-
defaultFillPred
- Specified by:
defaultFillPredin interfaceSymbolicSeqVar
-
defaultNPred
public int defaultNPred(int node) - Specified by:
defaultNPredin interfaceSymbolicSeqVar
-
defaultFillSucc
- Specified by:
defaultFillSuccin interfaceSymbolicSeqVar
-
defaultNSucc
public int defaultNSucc(int node) - Specified by:
defaultNSuccin interfaceSymbolicSeqVar
-
defaultFillInsert
public int defaultFillInsert(int node, int[] dest) - Specified by:
defaultFillInsertin interfaceSymbolicSeqVar
-
defaultNInsert
public int defaultNInsert(int node) - Specified by:
defaultNInsertin interfaceSymbolicSeqVar
-
defaultHasEdge
public boolean defaultHasEdge(int from, int to) - Specified by:
defaultHasEdgein interfaceSymbolicSeqVar
-
defaultHasInsert
public boolean defaultHasInsert(int prev, int node) - Specified by:
defaultHasInsertin interfaceSymbolicSeqVar
-
isNodeRequired
Description copied from interface:SeqVarGives a variable telling if a given node must be visited- Specified by:
isNodeRequiredin interfaceSeqVar- Parameters:
node- node in the sequence- Returns:
- variable set to true if the node must be visited
-