forge.solve
Interface ForgeConstant.Unary
- All Superinterfaces:
- ForgeConstant, ProgramElement
- All Known Implementing Classes:
- BooleanAtom, ForgeAtom, InstanceAtom, IntegerAtom
- Enclosing interface:
- ForgeConstant
public static interface ForgeConstant.Unary
- extends ForgeConstant
A constant that is a set of atoms.
Methods inherited from interface forge.solve.ForgeConstant |
arity, domain, isEmpty, isTuple, isUnary, join, product, projection, range, subsetOf, tupleSet |
type
ForgeType.Unary type()
- Description copied from interface:
ForgeConstant
- Returns the type of this constant.
- Specified by:
type
in interface ForgeConstant
tuples
java.util.Set<ForgeAtom> tuples()
- Description copied from interface:
ForgeConstant
- Returns the set of tuples in this constant
- Specified by:
tuples
in interface ForgeConstant
union
ForgeConstant.Unary union(ForgeConstant expr)
- Specified by:
union
in interface ForgeConstant
difference
ForgeConstant.Unary difference(ForgeConstant expr)
- Specified by:
difference
in interface ForgeConstant
intersection
ForgeConstant.Unary intersection(ForgeConstant expr)
- Specified by:
intersection
in interface ForgeConstant