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

Packages that use CVCLMemoryModel
edu.toronto.cs.yasm.abstractor   
 

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

Methods in edu.toronto.cs.yasm.abstractor that return CVCLMemoryModel
 CVCLMemoryModel PredicateRefiner.computeMemoryModel(PrllAsmtPStmt s)
           
 CVCLMemoryModel BranchPredicateRefiner.getMemoryModel(PrllAsmtPStmt asmt)
           
 CVCLMemoryModel CBJPredicateRefiner.getMemoryModel(PrllAsmtPStmt asmt)
           
 CVCLMemoryModel CFFCPredicateRefiner.getMemoryModel(PrllAsmtPStmt asmt)
           
 CVCLMemoryModel LadderPredicateRefiner.getMemoryModel(PrllAsmtPStmt asmt)
           
 CVCLMemoryModel PredicateRefiner.getMemoryModel(PrllAsmtPStmt asmt)