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.