Uses of Class
edu.toronto.cs.yasm.abstractor.MemoryModel

Packages that use MemoryModel
edu.toronto.cs.yasm.abstractor   
edu.toronto.cs.yasm.pprogram   
edu.toronto.cs.yasm.wp   
 

Uses of MemoryModel in edu.toronto.cs.yasm.abstractor
 

Methods in edu.toronto.cs.yasm.abstractor that return MemoryModel
 MemoryModel SymbolicExecutor.asmt(antlr.collections.AST _t, MemoryModel mmIn)
           
 MemoryModel SymbolicExecutor.block(antlr.collections.AST _t, MemoryModel mmIn)
           
 MemoryModel PredicateRefiner.computeRegularMemoryModel(PrllAsmtPStmt s)
           
 MemoryModel SymbolicExecutor.functionCallArgs(antlr.collections.AST _t, java.util.List declarations, MemoryModel mmIn)
           
 MemoryModel ExprExecutor.functionCallArgs(Expr args, Expr params, MemoryModel mm)
           
 MemoryModel BranchPredicateRefiner.getRegularMemoryModel(PrllAsmtPStmt asmt)
           
 MemoryModel CBJPredicateRefiner.getRegularMemoryModel(PrllAsmtPStmt asmt)
           
 MemoryModel CFFCPredicateRefiner.getRegularMemoryModel(PrllAsmtPStmt asmt)
           
 MemoryModel SymbolicExecutor.labelledStmt(antlr.collections.AST _t, MemoryModel mmIn)
           
 MemoryModel SymbolicExecutor.returnStmt(antlr.collections.AST _t, java.lang.String returnVarName, MemoryModel mmIn)
           
 MemoryModel ExprExecutor.returnStmt(Expr e, java.lang.String s, MemoryModel mm)
           
 MemoryModel SymbolicExecutor.stmt(antlr.collections.AST _t, MemoryModel mmIn)
           
 MemoryModel SymbolicExecutor.stmtList(antlr.collections.AST _t, MemoryModel mmIn)
           
 MemoryModel ExprExecutor.stmtList(Expr e, MemoryModel mm)
           
 

Methods in edu.toronto.cs.yasm.abstractor with parameters of type MemoryModel
 MemoryModel SymbolicExecutor.asmt(antlr.collections.AST _t, MemoryModel mmIn)
           
 MemoryModel SymbolicExecutor.block(antlr.collections.AST _t, MemoryModel mmIn)
           
 Expr SymbolicExecutor.expr(antlr.collections.AST _t, MemoryModel mm)
           
 MemoryModel SymbolicExecutor.functionCallArgs(antlr.collections.AST _t, java.util.List declarations, MemoryModel mmIn)
           
 MemoryModel ExprExecutor.functionCallArgs(Expr args, Expr params, MemoryModel mm)
           
 MemoryModel SymbolicExecutor.labelledStmt(antlr.collections.AST _t, MemoryModel mmIn)
           
 Expr SymbolicExecutor.lval(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.pureAdditiveExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.pureEqualityExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.pureExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.pureLogicalAndExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.pureLogicalOrExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.pureMultExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.purePostfixExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.purePrefixExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.purePrimaryExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.pureRelationalExpr(antlr.collections.AST _t, MemoryModel mm)
           
 Expr SymbolicExecutor.pureUnaryExpr(antlr.collections.AST _t, MemoryModel mm)
           
 MemoryModel SymbolicExecutor.returnStmt(antlr.collections.AST _t, java.lang.String returnVarName, MemoryModel mmIn)
           
 MemoryModel ExprExecutor.returnStmt(Expr e, java.lang.String s, MemoryModel mm)
           
 MemoryModel SymbolicExecutor.stmt(antlr.collections.AST _t, MemoryModel mmIn)
           
 MemoryModel SymbolicExecutor.stmtList(antlr.collections.AST _t, MemoryModel mmIn)
           
 MemoryModel ExprExecutor.stmtList(Expr e, MemoryModel mm)
           
 

Constructors in edu.toronto.cs.yasm.abstractor with parameters of type MemoryModel
CVCLMemoryModel(MemoryModel _mm, ExprFactory _fac, CVCLExprConverter _cvcl)
           
 

Uses of MemoryModel in edu.toronto.cs.yasm.pprogram
 

Methods in edu.toronto.cs.yasm.pprogram that return MemoryModel
 MemoryModel PrllAsmtPStmt.symExec(ExprFactory fac)
           
 MemoryModel ReturnPStmt.symExec(ExprFactory fac)
           
 

Uses of MemoryModel in edu.toronto.cs.yasm.wp
 

Constructors in edu.toronto.cs.yasm.wp with parameters of type MemoryModel
MemoryModelWPComputer(MemoryModel _mmModel)