public PlanBodyImpl(BodyType.Body_Type t, ITerm b, bool planTerm) : this(t, planTerm)
{
formType = t;
if (b != null)
{
srcInfo = b.GetSrcInfo();
}
term = b;
}
private void Swap(IPlanBody bl)
{
BodyType.Body_Type bt = formType;
formType = bl.GetBodyType();
bl.SetBodyType(bt);
ITerm l = term;
term = bl.GetBodyTerm();
bl.SetBodyTerm(l);
}
public void SetBodyType(BodyType.Body_Type bt) => formType = bt;
public PlanBodyImpl(BodyType.Body_Type t, ITerm b) : this(t, b, false)
{
}
public PlanBodyImpl(BodyType.Body_Type t, bool planTerm) : this(t)
{
SetAsBodyTerm(planTerm);
}
public PlanBodyImpl(BodyType.Body_Type t) : base(t.ToString(), 0)
{
formType = t;
}
