public override void TreePrint(int level, PrologEngine engine)
{
string margin = Spaces(2 * level);
engine.WriteLine("{0}{1}", margin, PrologParser.LISTPATOPEN);
BaseTerm t = ChainEnd();
foreach (ListPatternElem e in args)
{
engine.WriteLine(" {0}{1}", margin, e);
}
engine.WriteLine("{0}{1}", margin, PrologParser.LISTPATCLOSE);
}
public virtual void TreePrint(int level, PrologEngine e)
{
e.Write(Spaces(2 * level));
if (this is Variable)
{
e.WriteLine(this.ToString());
}
else
{
e.WriteLine(FunctorToString);
if (arity > 0)
{
foreach (BaseTerm a in args)
{
a.ChainEnd().TreePrint(level + 1, e);
}
}
}
}
public override void TreePrint(int level, PrologEngine e)
{
e.WriteLine("{0}{1}..{2}", Spaces(2 * level), lowBound.To <int> (), hiBound.To <int> ());
}
public override void TreePrint(int level, PrologEngine e)
{
e.WriteLine("0}{1}", Spaces(2 * level), this);
}
public override void TreePrint (int level, PrologEngine engine)
{
string margin = Spaces (2 * level);
engine.WriteLine ("{0}{1}", margin, PrologParser.LISTPATOPEN);
BaseTerm t = ChainEnd ();
foreach (ListPatternElem e in args)
engine.WriteLine (" {0}{1}", margin, e);
engine.WriteLine ("{0}{1}", margin, PrologParser.LISTPATCLOSE);
}
public override void TreePrint (int level, PrologEngine e)
{
e.WriteLine ("0}{1}", Spaces (2 * level), this);
}