edu.cmu.cs.crystal.simple
Classes 
AbstractingTransferFunction
SimpleLatticeOperations
SimpleTACFlowAnalysis
TupleLatticeElement
TupleLatticeOperations