|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.Cubic<Token,Variable>
Token
- the type of the tokensVariable
- the type of the variablespublic class Cubic<Token,Variable>
Cubic
is an implementation of the cubic algorithm. The algorithm is
performed as constraints are added.
Constructor Summary | |
---|---|
Cubic(Set<Token> tokens,
Set<Variable> variables)
Creates the Cubic object holding information for the algorithm. |
Method Summary | |
---|---|
void |
addConstraint1(Token t,
Variable x)
Add a constraint of type {t} ⊆ x |
void |
addConstraint2(Variable x,
Variable y)
Add a constraint of type x ⊆ y |
void |
addConstraint3(Token t,
Variable x,
Variable y,
Variable z)
Add a conditional constraint of type t ∈ x ⇒ y ⊆ z |
Collection<Token> |
getTokens()
Returns the collection of tokens used in the algorithm. |
Set<Token> |
getTokenSet(Variable v)
Returns the set of tokens in the variable v as computed by the
algorithm from the added constraints |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Cubic(Set<Token> tokens, Set<Variable> variables)
Cubic
object holding information for the algorithm.
tokens
- the set of tokens for the algorithmvariables
- the set of variables for the algorithmMethod Detail |
---|
public Collection<Token> getTokens()
public void addConstraint1(Token t, Variable x)
t
- the token t representing the singleton set {i}.x
- the variable x which must contain the token t
public void addConstraint2(Variable x, Variable y)
x
- the variable x in questiony
- the variable y which must contain xpublic void addConstraint3(Token t, Variable x, Variable y, Variable z)
t
- the variable t in questionx
- the variable x which may contain ty
- the variable y in questionz
- the variable z which must contain y if x
contains tpublic Set<Token> getTokenSet(Variable v)
v
as computed by the
algorithm from the added constraints
v
- the variable in question
v
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |