Deprecated API


Contents
Deprecated Methods
org.aspectj.lang.reflect.SourceLocation.getColumn()
          can not be implemented for bytecode weaving, may be removed in 1.1gold. 
rwth.i2.ltlrv.management.IFormulaFactory.Proposition(String, WeakValuesMap)
           
rwth.i2.ltlrv.management.FormulaFactory.Proposition(String, WeakValuesMap)
           
 

Deprecated Constructors
rwth.i2.ltlrv.management.ByteCodePosition(String, String, int)
           
rwth.i2.ltlrv.afastate.impl.Proposition(String, WeakValuesMap)