|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| DualExpression<Int,Bool> | |
| ExpressionFactory<Int,Bool,StateT extends Type<StateT>> | An interface for "expression factories" representing different encodings of program expressions. |
| ExpressionFactoryException.ThrowingFunction<F,T> | |
| ExpressionInterpreter<Int,Bool,StateT extends Type<StateT>> | |
| PathFactory<Expr,Bool,Path> | |
| Class Summary | |
|---|---|
| AbstractExpressionFactory<Int,Bool,StateT extends Type<StateT>> | An abstract implementation of the IExpressionFactory interface,
with convenience implementations of several methods. |
| AbstractPathFactory<Expr,Bool,Path> | |
| BitVectorExpressionFactory | |
| DualExpressionFactory<Int,Bool,StateT extends Type<StateT>> | An expression factory which automatically "dualizes" integer/boolean expressions. |
| DualExpressionImpl<Int,Bool> | |
| IntExpressionFactory | |
| IntLambdaExpressionFactory | |
| IntPredicateExpressionFactory | |
| LambdaPathFactory<Expr,Bool> | |
| Exception Summary | |
|---|---|
| ExpressionFactoryException | |
| PathFactoryException | |
Implementations of expression and program state encodings.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||