JSim.plan

Class ImplicitBound

java.lang.Object

JSim.plan.ImplicitBound

All Implemented Interfaces:

SeqItem

public class ImplicitBound
extends java.lang.Object
implements SeqItem

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ImplicitBound.VuFactor

Field Summary

Fields

Modifier and Type	Field and Description
static int	APPROX
static int	MAX
static int	MIN

Constructor Summary

Constructors

Constructor and Description
ImplicitBound(TRelation r, VarUsage vu, int type, TExpr expr)

Method Summary

Modifier and Type	Method and Description
static ImplicitBound	create(TRelation r, VarUsages vus)
TExpr	expr()
TModel	model()
java.lang.String	nodeString()
TRelation	relation()
ImplicitBound	restrict(TSubDom sd)
DomainSet	seqLoops()
JSim.mml.Domain	t()
ImplicitTool	tool()
java.lang.String	toString()
VarUsages	vreqs()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

MIN

public static final int MIN

See Also:

Constant Field Values

APPROX

public static final int APPROX

See Also:

Constant Field Values

MAX

public static final int MAX

See Also:

Constant Field Values

Constructor Detail

ImplicitBound

public ImplicitBound(TRelation r,
                     VarUsage vu,
                     int type,
                     TExpr expr)

Method Detail

restrict

public ImplicitBound restrict(TSubDom sd)
                       throws Xcept

Throws:

Xcept

create

public static ImplicitBound create(TRelation r,
                                   VarUsages vus)
                            throws Xcept

Throws:

Xcept

model

public TModel model()

relation

public TRelation relation()

tool

public ImplicitTool tool()

t

public JSim.mml.Domain t()

Specified by:

t in interface SeqItem

vreqs

public VarUsages vreqs()

Specified by:

vreqs in interface SeqItem

seqLoops

public DomainSet seqLoops()

Specified by:

seqLoops in interface SeqItem

nodeString

public java.lang.String nodeString()

Specified by:

nodeString in interface SeqItem

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

expr

public TExpr expr()