com.ibm.wala.logic
Class AbstractTheory

java.lang.Object
  com.ibm.wala.logic.DefaultDecorator
      com.ibm.wala.logic.AbstractTheory

All Implemented Interfaces:

ILogicDecorator, ITheory

Direct Known Subclasses:

BasicTheory, CombinedTheory, EmptyTheory

public abstract class AbstractTheory
extends DefaultDecorator
implements ITheory

Constructor Summary

AbstractTheory()

Method Summary

java.lang.String

toString()

Methods inherited from class com.ibm.wala.logic.DefaultDecorator

infixNotation, instance, prefixNotation, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.logic.ITheory

getSentences, getVocabulary

Constructor Detail

AbstractTheory

public AbstractTheory()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object