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