Deprecated API

Contents

• Deprecated Methods
• Deprecated Constructors

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)