Class Ownership

• Defined in File Ownership.h

Class Documentation

class Ownership

Public Functions

inline Ownership(Validator *v)

bool markOwnedPrecondition(const Action *a, const SimpleProposition *p, ownership o)

bool markOwnedPreconditionFEs(const Action *a, const expression *e, const Environment &bs)

bool ownsForAdd(const Action *a, const SimpleProposition *p)

bool ownsForDel(const Action *a, const SimpleProposition *p)

bool markOwnedEffectFE(const Action *a, const FuncExp *fe, assign_op aop, const expression *e, const Environment &bs)