forge.program
Interface ForgeType.Unary

All Superinterfaces:
ForgeExpression, ForgeType, ProgramElement
All Known Implementing Classes:
BooleanDomain, ForgeDomain, InstanceDomain, IntegerDomain
Enclosing interface:
ForgeType

public static interface ForgeType.Unary
extends ForgeType

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

tupleTypes

java.util.Set<ForgeDomain> tupleTypes()
Specified by:
tupleTypes in interface ForgeType

union

ForgeType.Unary union(ForgeType type)
Specified by:
union in interface ForgeType

intersection

ForgeType.Unary intersection(ForgeType type)
Specified by:
intersection in interface ForgeType

difference

ForgeType.Unary difference(ForgeType type)
Specified by:
difference in interface ForgeType