public static TemporaryDerivedTerm genTerm(TemporaryDerivedCompound derivedCompound, RuleTable.EnumTruthFunction truthfunction) { TemporaryDerivedTerm result = new TemporaryDerivedTerm(); result.derivedCompound = derivedCompound; result.truthfunction = truthfunction; return(result); }
private static string dumpToString(TemporaryDerivedTerm derivedTerm, CompoundAndTermContext compoundAndTermContext) { return(String.Format("{0} truthfn={1}", derivedTerm.derivedCompound.debugToStringRecursivly(compoundAndTermContext), derivedTerm.truthfunction.ToString())); }