/*Constructor for binary operator*/
public BinaryStructure(ITerm t1, string id, ITerm t2) : base(id, 2)
{
AddTerm(t1);
AddTerm(t2);
if (t1.GetSrcInfo() != null)
{
srcInfo = t1.GetSrcInfo();
}
else
{
srcInfo = t2.GetSrcInfo();
}
}
public PlanBodyImpl(BodyType.Body_Type t, ITerm b, bool planTerm) : this(t, planTerm)
{
formType = t;
if (b != null)
{
srcInfo = b.GetSrcInfo();
}
term = b;
}
/*Constructor for unary operator*/
public BinaryStructure(string id, ITerm arg) : base(id, 1)
{
AddTerm(arg);
srcInfo = arg.GetSrcInfo();
}