NodeFactory classes that are used to build functions. The HashingNodeFactory uses existing code to perform structural hashing. The SimplifyingNodeFactory applies straight forward simplifications. The TypeCheck wraps around another node factory to type check each node after it's created.
Classes that currently take an STPManager as a parameter, but just use it to create nodes will over time be changed to instead take a node factory.
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@581
e59a4935-1847-0410-ae03-
e826735625c1
projects / francis / stp.git / commit