forge.solve
Interface ForgeConstant.Tuple

All Superinterfaces:

ForgeConstant, ProgramElement

All Known Implementing Classes:

BooleanAtom, ForgeAtom, InstanceAtom, IntegerAtom

Enclosing interface:

ForgeConstant

public static interface ForgeConstant.Tuple
extends ForgeConstant

A constant that is a tuple of atoms.

Nested Class Summary

Nested classes/interfaces inherited from interface forge.solve.ForgeConstant

ForgeConstant.Tuple, ForgeConstant.Unary

Method Summary

java.util.List<ForgeAtom>	atoms()
ForgeAtom	domain()
ForgeConstant.Tuple	product(ForgeConstant.Tuple tuple)
ForgeConstant.Tuple	projection(int... columns)
ForgeAtom	range()
ForgeType.Tuple	type() Returns the type of this constant.

Methods inherited from interface forge.solve.ForgeConstant

arity, difference, intersection, isEmpty, isTuple, isUnary, join, product, subsetOf, tuples, tupleSet, union

Methods inherited from interface forge.program.ProgramElement

program

Method Detail

type

ForgeType.Tuple type()

Description copied from interface: ForgeConstant

Returns the type of this constant.

Specified by:

type in interface ForgeConstant

atoms

java.util.List<ForgeAtom> atoms()

domain

ForgeAtom domain()

Specified by:

domain in interface ForgeConstant

range

ForgeAtom range()

Specified by:

range in interface ForgeConstant

projection

ForgeConstant.Tuple projection(int... columns)

Specified by:

projection in interface ForgeConstant

product

ForgeConstant.Tuple product(ForgeConstant.Tuple tuple)