com.ibm.wala.logic
Interface ILogicDecorator

All Known Implementing Classes:

AbstractTheory, BasicTheory, CombinedTheory, DefaultDecorator

public interface ILogicDecorator

Method Summary

java.lang.String	prettyPrint(BooleanConstant c)
java.lang.String	prettyPrint(FunctionTerm term)
java.lang.String	prettyPrint(IConstant constant)
java.lang.String	prettyPrint(ILogicConstants.BinaryConnective b)
java.lang.String	prettyPrint(ILogicConstants.Quantifier quantifier)
java.lang.String	prettyPrint(IRelation r)
java.lang.String	prettyPrint(RelationFormula formula)
java.lang.String	prettyPrint(Variable boundVar)

Method Detail

prettyPrint

java.lang.String prettyPrint(ILogicConstants.BinaryConnective b)

prettyPrint

java.lang.String prettyPrint(BooleanConstant c)

prettyPrint

java.lang.String prettyPrint(Variable boundVar)

prettyPrint

java.lang.String prettyPrint(ILogicConstants.Quantifier quantifier)

prettyPrint

java.lang.String prettyPrint(IConstant constant)

prettyPrint

java.lang.String prettyPrint(FunctionTerm term)

prettyPrint

java.lang.String prettyPrint(RelationFormula formula)

prettyPrint

java.lang.String prettyPrint(IRelation r)