public ParseTreeTools(ATermFactory factory) {
super();
parsetreeFun = factory.makeAFun("parsetree", 2, false);
applFun = factory.makeAFun("appl", 2, false);
prodFun = factory.makeAFun("prod", 3, false);
noattrsFun = factory.makeAFun("no-attrs", 0, false);
attrsFun = factory.makeAFun("attrs", 1, false);
termFun = factory.makeAFun("term", 1, false);
consFun = factory.makeAFun("cons", 1, false);
}
