edu.nyu.cascade.fds
Interface StateExpression<T extends Type<T>>

All Superinterfaces:

Expression<T>

All Known Subinterfaces:

StateVariable<T>

All Known Implementing Classes:

StateExpressionImpl, StateVariableImpl

public interface StateExpression<T extends Type<T>>
extends Expression<T>

Nested Class Summary

Nested classes/interfaces inherited from interface edu.nyu.cascade.prover.Expression

Expression.Kind

Method Summary

StateProperty	eq(StateExpression<T> e)
StateProperty	geq(StateExpression<T> e)
StateProperty	gt(StateExpression<T> e)
StateProperty	iff(StateExpression<T> e)
StateProperty	leq(StateExpression<T> e)
StateProperty	lt(StateExpression<T> e)
StateProperty	neq(StateExpression<T> e)
StateExpression<T>	prime()
Expression<T>	toExpression()
StateExpression<T>	unprime()

Methods inherited from interface edu.nyu.cascade.prover.Expression

asBitVector, asBooleanExpression, asIntegerExpression, asIntegerVariable, asRationalExpression, asRationalVariable, asUnaryFunctionExpression, asVariable, eq, getArity, getChild, getChildren, getExpressionManager, getKind, getType, isBoolean, isConstant, isTerm, isVariable, lambda, lambda, neq, subst

Method Detail

eq

StateProperty eq(StateExpression<T> e)

geq

StateProperty geq(StateExpression<T> e)

gt

StateProperty gt(StateExpression<T> e)

leq

StateProperty leq(StateExpression<T> e)

lt

StateProperty lt(StateExpression<T> e)

neq

StateProperty neq(StateExpression<T> e)

prime

StateExpression<T> prime()

toExpression

Expression<T> toExpression()

unprime

StateExpression<T> unprime()

iff

StateProperty iff(StateExpression<T> e)