forge.program
Interface ForgeExpression.Modifiable

All Superinterfaces:
ForgeExpression, ForgeExpression.Leaf, ProgramElement
All Known Implementing Classes:
ForgeVariable, GlobalVariable, InstanceDomain, LocalVariable
Enclosing interface:
ForgeExpression

public static interface ForgeExpression.Modifiable
extends ForgeExpression.Leaf

Variables and instance domains -- leafs that may be modified.


Nested Class Summary
 
Nested classes/interfaces inherited from interface forge.program.ForgeExpression
ForgeExpression.Leaf, ForgeExpression.Modifiable
 
Method Summary
 boolean isGlobal()
          True if instanceof InstanceDomain or GlobalVariable, false if LocalVariable.
 boolean isVariable()
          True if instanceof ForgeVariable, false if InstanceDomain.
 
Methods inherited from interface forge.program.ForgeExpression.Leaf
name
 
Methods inherited from interface forge.program.ForgeExpression
accept, and, apply, arity, bitAnd, bitNot, bitOr, bitXor, bool, closure, compose, comprehension, difference, divide, domain, 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, range, shiftLeft, shiftRight, size, some, sum, summation, thenElse, times, type, union, unsignedShiftRight, xor
 
Methods inherited from interface forge.program.ProgramElement
program
 

Method Detail

isVariable

boolean isVariable()
True if instanceof ForgeVariable, false if InstanceDomain.


isGlobal

boolean isGlobal()
True if instanceof InstanceDomain or GlobalVariable, false if LocalVariable.