|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ForgeConstant
A Forge constant -- a relation of atoms.
Nested Class Summary | |
---|---|
static interface |
ForgeConstant.Tuple
A constant that is a tuple of atoms. |
static interface |
ForgeConstant.Unary
A constant that is a set of atoms. |
Method Summary | |
---|---|
int |
arity()
Returns the arity of this constant. |
ForgeConstant |
difference(ForgeConstant expr)
|
ForgeConstant.Unary |
domain()
|
ForgeConstant |
intersection(ForgeConstant expr)
|
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 expr)
|
ForgeConstant |
product(ForgeConstant expr)
|
ForgeConstant |
projection(int... columns)
|
ForgeConstant.Unary |
range()
|
boolean |
subsetOf(ForgeConstant c)
Returns true if this is a subset of c |
java.util.Set<? extends ForgeConstant.Tuple> |
tuples()
Returns the set of tuples in this constant |
kodkod.instance.TupleSet |
tupleSet()
|
ForgeType |
type()
Returns the type of this constant. |
ForgeConstant |
union(ForgeConstant expr)
|
Methods inherited from interface forge.program.ProgramElement |
---|
program |
Method Detail |
---|
int arity()
ForgeType type()
boolean isEmpty()
boolean isUnary()
boolean isTuple()
java.util.Set<? extends ForgeConstant.Tuple> tuples()
boolean subsetOf(ForgeConstant c)
kodkod.instance.TupleSet tupleSet()
ForgeConstant.Unary domain()
ForgeConstant.Unary range()
ForgeConstant projection(int... columns)
ForgeConstant union(ForgeConstant expr)
ForgeConstant difference(ForgeConstant expr)
ForgeConstant intersection(ForgeConstant expr)
ForgeConstant join(ForgeConstant expr)
ForgeConstant product(ForgeConstant expr)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |