Module org.maxicp

Package org.maxicp.modeling.symbolic

Class SeqVarImpl

java.lang.Object

org.maxicp.modeling.symbolic.SeqVarImpl

All Implemented Interfaces:

Serializable, Expression, SeqExpression, SeqVar, SymbolicSeqVar, SymbolicVar, Var

public class SeqVarImpl
extends Object
implements SymbolicSeqVar

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
SeqVarImpl(ModelProxy modelProxy, int nNode, int start, int end)

Method Summary

Modifier and Type	Method	Description
int	defaultEnd()
int	defaultFillInsert(int node, int[] dest)
int	defaultFillNode(int[] dest, SeqStatus status)
int	defaultFillPred(int node, int[] dest, SeqStatus status)
int	defaultFillSucc(int node, int[] dest, SeqStatus status)
boolean	defaultHasEdge(int from, int to)
boolean	defaultHasInsert(int prev, int node)
boolean	defaultIsNode(int node, SeqStatus status)
int	defaultMemberAfter(int node)
int	defaultMemberBefore(int node)
int	defaultNInsert(int node)
int	defaultNNode()
int	defaultNNode(SeqStatus status)
int	defaultNPred(int node)
int	defaultNSucc(int node)
int	defaultStart()
ModelProxy	getModelProxy()	Returns the ModelDispatcher linked to this Expression
BoolVar	isNodeRequired(int node)	Gives a variable telling if a given node must be visited
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.maxicp.modeling.algebra.Expression

subexpressions

Methods inherited from interface org.maxicp.modeling.SeqVar

computeSubexpressions, fillPred, fillSucc, isFixed, mapSubexpressions

Methods 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

public SeqVarImpl(ModelProxy modelProxy,
 int nNode,
 int start,
 int end)

Method Details

getModelProxy

public ModelProxy getModelProxy()

Description copied from interface: Expression

Returns the ModelDispatcher linked to this Expression

Specified by:

getModelProxy in interface Expression

Specified by:

getModelProxy in interface Var

toString

public String toString()

Overrides:

toString in class Object

defaultStart

public int defaultStart()

Specified by:

defaultStart in interface SymbolicSeqVar

defaultEnd

public int defaultEnd()

Specified by:

defaultEnd in interface SymbolicSeqVar

defaultNNode

public int defaultNNode()

Specified by:

defaultNNode in interface SymbolicSeqVar

defaultFillNode

public int defaultFillNode(int[] dest,
 SeqStatus status)

Specified by:

defaultFillNode in interface SymbolicSeqVar

defaultNNode

public int defaultNNode(SeqStatus status)

Specified by:

defaultNNode in interface SymbolicSeqVar

defaultIsNode

public boolean defaultIsNode(int node,
 SeqStatus status)

Specified by:

defaultIsNode in interface SymbolicSeqVar

defaultMemberAfter

public int defaultMemberAfter(int node)

Specified by:

defaultMemberAfter in interface SymbolicSeqVar

defaultMemberBefore

public int defaultMemberBefore(int node)

Specified by:

defaultMemberBefore in interface SymbolicSeqVar

defaultFillPred

public int defaultFillPred(int node,
 int[] dest,
 SeqStatus status)

Specified by:

defaultFillPred in interface SymbolicSeqVar

defaultNPred

public int defaultNPred(int node)

Specified by:

defaultNPred in interface SymbolicSeqVar

defaultFillSucc

public int defaultFillSucc(int node,
 int[] dest,
 SeqStatus status)

Specified by:

defaultFillSucc in interface SymbolicSeqVar

defaultNSucc

public int defaultNSucc(int node)

Specified by:

defaultNSucc in interface SymbolicSeqVar

defaultFillInsert

public int defaultFillInsert(int node,
 int[] dest)

Specified by:

defaultFillInsert in interface SymbolicSeqVar

defaultNInsert

public int defaultNInsert(int node)

Specified by:

defaultNInsert in interface SymbolicSeqVar

defaultHasEdge

public boolean defaultHasEdge(int from,
 int to)

Specified by:

defaultHasEdge in interface SymbolicSeqVar

defaultHasInsert

public boolean defaultHasInsert(int prev,
 int node)

Specified by:

defaultHasInsert in interface SymbolicSeqVar

isNodeRequired

public BoolVar isNodeRequired(int node)

Description copied from interface: SeqVar

Gives a variable telling if a given node must be visited

Specified by:

isNodeRequired in interface SeqVar

Parameters:

node - node in the sequence

Returns:

variable set to true if the node must be visited