/** @throws java.lang.Exception */
@BeforeClass
public static void setUp() throws Exception {
db = ProofDatabase.load("/Users/ChrisSalij/Code/eclipse/FourthYearProject/resources/database");
proof = db.getProof("((a∧a)≡a)");
Expression n =
Reader.parseExpression(
"((a"
+ Characters.LOGICAL_CONJUNCTION
+ "b)"
+ Characters.LOGICAL_CONJUNCTION
+ "(c"
+ Characters.LOGICAL_CONJUNCTION
+ "d))");
masterTree = new UndoTree(null, proof, n, null);
masterTree = masterTree.addChild(proof, n, "");
masterTree = masterTree.addChild(proof, n, "");
masterTree = masterTree.addChild(proof, n, "");
masterTree = masterTree.addChild(proof, n, "");
masterTree = masterTree.addChild(proof, n, "");
masterTree.save(new File(treeLoc));
}
