As the logic now has n-ary formulas, this should be covered in the base and tptp compilers. The implementation should be straight-forward (like binary, but without the bracket propagation).
Also, TPTPCompiler overwrites the visit method, but I'm not sure why - nothing new is added. Unless I'm missing something, this method can be removed.
As the logic now has n-ary formulas, this should be covered in the base and tptp compilers. The implementation should be straight-forward (like binary, but without the bracket propagation).
Also,
TPTPCompileroverwrites thevisitmethod, but I'm not sure why - nothing new is added. Unless I'm missing something, this method can be removed.