forge.program
Interfaces 
ForgeExpression
ForgeExpression.Leaf
ForgeExpression.Modifiable
ForgeType
ForgeType.Tuple
ForgeType.Unary
LocalDecls
ProgramElement
Classes 
BinaryExpression
BooleanDomain
BooleanLiteral
ConditionalExpression
ExpressionVisitor
ForgeDomain
ForgeLiteral
ForgeProcedure
ForgeProgram
ForgeVariable
GlobalVariable
InstanceDomain
InstanceLiteral
IntegerDomain
IntegerLiteral
LocalDecls.EmptyDecls
LocalDecls.MultiDecls
LocalVariable
OldExpression
ProjectionExpression
QuantifyExpression
UnaryExpression
Enums 
BinaryExpression.Op
ForgeDomain.Kind
QuantifyExpression.Op
UnaryExpression.Op
Exceptions 
IllegalArityException