JSim.plan

Class VarUsages

java.lang.Object

JSim.plan.VarUsages

public class VarUsages
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
VarUsages(TModel model)
VarUsages(TModel model, JSim.expr.Expr expr)
VarUsages(TModel model, JSim.expr.Expr[] exprs)
VarUsages(VarUsage vu)
VarUsages(VarUsages vus)

Method Summary

Modifier and Type	Method and Description
void	add(java.util.Collection<JSim.mml.Var> vs)
void	add(DomainSet xset)
void	add(JSim.mml.Var v)
void	add(JSim.mml.Var v, int stat)
void	add(JSim.mml.Var v, int stat, JSim.mml.Domain x)
void	add(VarUsage vu)
void	add(VarUsages vus)
boolean	areSolvable()
boolean	contains(VarUsage vu)
VarUsage	firstForVar(JSim.mml.Var v)
VarUsage	get(int i)
boolean	hasCurr(JSim.mml.Var v)
boolean	hasVar(JSim.mml.Var v)
VarUsages	minus(VarUsages bs)
TModel	model()
java.lang.String	nodeString()
int	nvars()
VarUsages	restrict(TSubDom sd)
int	size()
java.lang.String	toString()
java.util.ArrayList<JSim.mml.Var>	varList()
java.util.LinkedHashSet<JSim.mml.Var>	vset()
JSim.mml.Var	vtmax(JSim.mml.Var v, JSim.mml.Domain t)
VarUsages	xsect(VarUsages bs)

Methods inherited from class java.lang.Object

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

Constructor Detail

VarUsages

public VarUsages(TModel model)
          throws Xcept

Throws:

Xcept

VarUsages

public VarUsages(VarUsage vu)
          throws Xcept

Throws:

Xcept

VarUsages

public VarUsages(VarUsages vus)
          throws Xcept

Throws:

Xcept

VarUsages

public VarUsages(TModel model,
                 JSim.expr.Expr[] exprs)
          throws Xcept

Throws:

Xcept

VarUsages

public VarUsages(TModel model,
                 JSim.expr.Expr expr)
          throws Xcept

Throws:

Xcept

Method Detail

add

public void add(JSim.mml.Var v)
         throws Xcept

Throws:

Xcept

add

public void add(JSim.mml.Var v,
                int stat)
         throws Xcept

Throws:

Xcept

add

public void add(JSim.mml.Var v,
                int stat,
                JSim.mml.Domain x)
         throws Xcept

Throws:

Xcept

add

public void add(VarUsage vu)
         throws Xcept

Throws:

Xcept

add

public void add(VarUsages vus)
         throws Xcept

Throws:

Xcept

add

public void add(DomainSet xset)
         throws Xcept

Throws:

Xcept

add

public void add(java.util.Collection<JSim.mml.Var> vs)
         throws Xcept

Throws:

Xcept

vtmax

public JSim.mml.Var vtmax(JSim.mml.Var v,
                          JSim.mml.Domain t)
                   throws Xcept

Throws:

Xcept

firstForVar

public VarUsage firstForVar(JSim.mml.Var v)

model

public TModel model()

size

public int size()

nvars

public int nvars()

vset

public java.util.LinkedHashSet<JSim.mml.Var> vset()

get

public VarUsage get(int i)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hasVar

public boolean hasVar(JSim.mml.Var v)

contains

public boolean contains(VarUsage vu)

hasCurr

public boolean hasCurr(JSim.mml.Var v)

areSolvable

public boolean areSolvable()

varList

public java.util.ArrayList<JSim.mml.Var> varList()
                                          throws Xcept

Throws:

Xcept

nodeString

public java.lang.String nodeString()

minus

public VarUsages minus(VarUsages bs)
                throws Xcept

Throws:

Xcept

xsect

public VarUsages xsect(VarUsages bs)
                throws Xcept

Throws:

Xcept

restrict

public VarUsages restrict(TSubDom sd)
                   throws Xcept

Throws:

Xcept