|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectforge.solve.ForgeAtom
forge.solve.IntegerAtom
public final class IntegerAtom
A constant boolean expression: true or false.
Nested Class Summary |
---|
Nested classes/interfaces inherited from interface forge.solve.ForgeConstant |
---|
ForgeConstant.Tuple, ForgeConstant.Unary |
Nested classes/interfaces inherited from interface forge.solve.ForgeConstant |
---|
ForgeConstant.Tuple, ForgeConstant.Unary |
Method Summary | |
---|---|
int |
arity()
Returns the arity of this constant. |
java.util.List<ForgeAtom> |
atoms()
|
BooleanAtom |
bool()
|
ForgeConstant.Unary |
difference(ForgeConstant c)
|
ForgeAtom |
domain()
|
ForgeConstant.Unary |
intersection(ForgeConstant c)
|
boolean |
isDomain()
|
boolean |
isEmpty()
Returns if the size is 0. |
boolean |
isTuple()
Returns true if the size is one. |
boolean |
isUnary()
Returns true if the arity is one. |
ForgeConstant |
join(ForgeConstant c)
|
ForgeConstant.Tuple |
product(ForgeConstant.Tuple tuple)
|
ForgeConstant |
product(ForgeConstant c)
|
ForgeProgram |
program()
Returns the program to which this element belongs. |
ForgeConstant.Tuple |
projection(int... columns)
|
ForgeAtom |
range()
|
boolean |
subsetOf(ForgeConstant c)
Returns true if this is a subset of c |
IntegerAtom |
sum()
|
java.util.Set<ForgeAtom> |
tuples()
Returns the set of tuples in this constant |
kodkod.instance.TupleSet |
tupleSet()
|
IntegerDomain |
type()
Returns the type of this constant. |
ForgeConstant.Unary |
union(ForgeConstant c)
|
int |
value()
|
Methods inherited from class forge.solve.ForgeAtom |
---|
name, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface forge.solve.ForgeConstant |
---|
arity, isEmpty, isTuple, isUnary, join, product, subsetOf, tupleSet |
Methods inherited from interface forge.program.ProgramElement |
---|
program |
Methods inherited from interface forge.solve.ForgeConstant |
---|
arity, isEmpty, isTuple, isUnary, join, product, subsetOf, tupleSet |
Methods inherited from interface forge.program.ProgramElement |
---|
program |
Method Detail |
---|
public IntegerDomain type()
ForgeConstant
type
in interface ForgeConstant
type
in interface ForgeConstant.Tuple
type
in interface ForgeConstant.Unary
type
in class ForgeAtom
public int value()
public BooleanAtom bool()
public IntegerAtom sum()
public final java.util.Set<ForgeAtom> tuples()
ForgeConstant
tuples
in interface ForgeConstant
tuples
in interface ForgeConstant.Unary
public final java.util.List<ForgeAtom> atoms()
atoms
in interface ForgeConstant.Tuple
public final ForgeAtom domain()
domain
in interface ForgeConstant
domain
in interface ForgeConstant.Tuple
public final ForgeAtom range()
range
in interface ForgeConstant
range
in interface ForgeConstant.Tuple
public final ForgeConstant.Tuple projection(int... columns)
projection
in interface ForgeConstant
projection
in interface ForgeConstant.Tuple
public ForgeConstant.Tuple product(ForgeConstant.Tuple tuple)
product
in interface ForgeConstant.Tuple
public final ForgeConstant.Unary union(ForgeConstant c)
union
in interface ForgeConstant
union
in interface ForgeConstant.Unary
public final ForgeConstant.Unary difference(ForgeConstant c)
difference
in interface ForgeConstant
difference
in interface ForgeConstant.Unary
public final ForgeConstant.Unary intersection(ForgeConstant c)
intersection
in interface ForgeConstant
intersection
in interface ForgeConstant.Unary
public kodkod.instance.TupleSet tupleSet()
tupleSet
in interface ForgeConstant
public final ForgeProgram program()
ProgramElement
program
in interface ProgramElement
public final int arity()
ForgeConstant
arity
in interface ForgeConstant
public final boolean isEmpty()
ForgeConstant
isEmpty
in interface ForgeConstant
public final boolean isUnary()
ForgeConstant
isUnary
in interface ForgeConstant
public boolean isTuple()
ForgeConstant
isTuple
in interface ForgeConstant
public final boolean subsetOf(ForgeConstant c)
ForgeConstant
subsetOf
in interface ForgeConstant
public final ForgeConstant join(ForgeConstant c)
join
in interface ForgeConstant
public final ForgeConstant product(ForgeConstant c)
product
in interface ForgeConstant
public boolean isDomain()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |