com.ibm.wala.logic
Interface ILogicDecorator

All Known Implementing Classes:

AbstractTheory, BasicTheory, CombinedTheory, DefaultDecorator, EmptyTheory

public interface ILogicDecorator

Method Summary

java.lang.String	prettyPrint(AbstractBinaryFormula binaryFormula)
java.lang.String	prettyPrint(AbstractVariable v)
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(NotFormula notFormula)
java.lang.String	prettyPrint(RelationFormula formula)

Method Detail

prettyPrint

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

prettyPrint

java.lang.String prettyPrint(BooleanConstant c)

prettyPrint

java.lang.String prettyPrint(AbstractVariable v)

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)

prettyPrint

java.lang.String prettyPrint(AbstractBinaryFormula binaryFormula)

prettyPrint

java.lang.String prettyPrint(NotFormula notFormula)