public void setUp()
{
parser = new PEParser();
trueSentence = (Sentence)parser.parse("true");
falseSentence = (Sentence)parser.parse("false");
andSentence = (Sentence)parser.parse("(P AND Q)");
orSentence = (Sentence)parser.parse("(P OR Q)");
impliedSentence = (Sentence)parser.parse("(P => Q)");
biConditionalSentence = (Sentence)parser.parse("(P <=> Q)");
m = new Model();
}
public void setUp()
{
classifier = new SymbolClassifier();
parser = new PEParser();
}
public void setUp()
{
parser = new PEParser();
gatherer = new CNFClauseGatherer();
}
public void setUp()
{
resolution = new PLResolution();
parser = new PEParser();
}
public KnowledgeBase()
{
sentences = new List<Sentence>();
parser = new PEParser();
}
public void setUp()
{
parser = new PEParser();
collector = new SymbolCollector();
}
public void setUp()
{
parser = new PEParser();
}
public void setUp()
{
parser = new PEParser();
dpll = new DPLL();
}
