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()));
}