Class PlanBodyImpl

All Implemented Interfaces:
LogicalFormula, PlanBody, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>, java.lang.Iterable<PlanBody>

public class PlanBodyImpl
extends Structure
implements PlanBody, java.lang.Iterable<PlanBody>
Represents a plan body item (achieve, test, action, ...) and its successors. A plan body like a1; ?t; !g is represented by the following structure (a1, (?t, (!g, ()))).
Author:
Jomi
See Also:
Serialized Form