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.


Nested Class Summary
 
Nested classes/interfaces inherited from interface forge.solve.ForgeConstant
ForgeConstant.Tuple, ForgeConstant.Unary
 
Method Summary
 ForgeConstant.Unary difference(ForgeConstant expr)
           
 ForgeConstant.Unary intersection(ForgeConstant expr)
           
 java.util.Set<ForgeAtom> tuples()
          Returns the set of tuples in this constant
 ForgeType.Unary type()
          Returns the type of this constant.
 ForgeConstant.Unary union(ForgeConstant expr)
           
 
Methods inherited from interface forge.solve.ForgeConstant
arity, domain, isEmpty, isTuple, isUnary, join, product, projection, range, subsetOf, tupleSet
 
Methods inherited from interface forge.program.ProgramElement
program
 

Method Detail

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