|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface ForgeType.Unary
A type that is a set of classes.
Nested Class Summary |
---|
Nested classes/interfaces inherited from interface forge.program.ForgeType |
---|
ForgeType.Tuple, ForgeType.Unary |
Nested classes/interfaces inherited from interface forge.program.ForgeExpression |
---|
ForgeExpression.Leaf, ForgeExpression.Modifiable |
Method Summary | |
---|---|
ForgeType.Unary |
difference(ForgeType type)
|
ForgeType.Unary |
intersection(ForgeType type)
|
java.util.Set<ForgeDomain> |
tupleTypes()
|
ForgeType.Unary |
union(ForgeType type)
|
Methods inherited from interface forge.program.ForgeType |
---|
domain, isDomain, isEmpty, join, product, projectType, range, subtypeOf |
Methods inherited from interface forge.program.ForgeExpression |
---|
accept, and, apply, arity, bitAnd, bitNot, bitOr, bitXor, bool, closure, compose, comprehension, difference, divide, eq, forAll, forSome, gt, gte, iden, iff, implies, in, intersection, isUnary, join, lone, lt, lte, minus, modulo, neg, no, not, one, or, override, plus, product, projection, quantify, shiftLeft, shiftRight, size, some, sum, summation, thenElse, times, type, union, unsignedShiftRight, xor |
Methods inherited from interface forge.program.ProgramElement |
---|
program |
Method Detail |
---|
java.util.Set<ForgeDomain> tupleTypes()
tupleTypes
in interface ForgeType
ForgeType.Unary union(ForgeType type)
union
in interface ForgeType
ForgeType.Unary intersection(ForgeType type)
intersection
in interface ForgeType
ForgeType.Unary difference(ForgeType type)
difference
in interface ForgeType
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |