forge.program
Interface ForgeExpression.Leaf

All Superinterfaces:

ForgeExpression, ProgramElement

All Known Subinterfaces:

ForgeExpression.Modifiable

All Known Implementing Classes:

BooleanDomain, BooleanLiteral, ForgeDomain, ForgeLiteral, ForgeVariable, GlobalVariable, InstanceDomain, InstanceLiteral, IntegerDomain, IntegerLiteral, LocalVariable

Enclosing interface:

ForgeExpression

public static interface ForgeExpression.Leaf
extends ForgeExpression

Domains, variables, and literals -- expressions that have a name.

Nested Class Summary

Nested classes/interfaces inherited from interface forge.program.ForgeExpression

ForgeExpression.Leaf, ForgeExpression.Modifiable

Method Summary

java.lang.String

name() Returns the expression's 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

name

java.lang.String name()

Returns the expression's name.