com.ibm.wala.logic
Class CombinedTheory

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

All Implemented Interfaces:

ITheory

public class CombinedTheory
extends AbstractTheory

Method Summary

java.util.Collection<IFormula>	getSentences()
IVocabulary	getVocabulary()
static ITheory	make(ITheory t, BasicVocabulary v)
static CombinedTheory	make(ITheory a, ITheory b)

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

toString

Methods inherited from class java.lang.Object

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

Method Detail

make

public static CombinedTheory make(ITheory a,
                                  ITheory b)
                           throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

getSentences

public java.util.Collection<IFormula> getSentences()

getVocabulary

public IVocabulary getVocabulary()

make

public static ITheory make(ITheory t,
                           BasicVocabulary v)