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