com.ibm.wala.logic
Interface ITheory

All Known Implementing Classes:

AbstractTheory, BasicTheory, CombinedTheory

public interface ITheory

A theory is a set of sentences

Method Summary

java.util.Collection<? extends IFormula>	getSentences()
IVocabulary	getVocabulary()

Method Detail

getVocabulary

IVocabulary getVocabulary()

getSentences

java.util.Collection<? extends IFormula> getSentences()