Uses of Class
edu.nyu.cascade.ir.expr.BitVectorExpressionFactory

Packages that use BitVectorExpressionFactory

edu.nyu.cascade.ir.expr

Implementations of expression and program state encodings.

Uses of BitVectorExpressionFactory in edu.nyu.cascade.ir.expr

Methods in edu.nyu.cascade.ir.expr that return BitVectorExpressionFactory

static BitVectorExpressionFactory	BitVectorExpressionFactory.create(Map<File,? extends SymbolTable> symbolTables, ExpressionManager exprManager, int addressSize, int cellSize) Create an expression factory with the given pointer and word sizes.
static BitVectorExpressionFactory	BitVectorExpressionFactory.create(Map<File,SymbolTable> symbolTables, ExpressionManager exprManager, ArrayType<BitVectorType,BitVectorType> memArrayType) Create an expression factory with the given array type to model memory.
static BitVectorExpressionFactory	BitVectorExpressionFactory.create(Map<File,SymbolTable> symbolTables, ExpressionManager exprManager, ArrayVariableExpression<BitVectorType,BitVectorType> memArray)