Class TypeChecker

• Defined in File typecheck.h

Class Documentation

class TypeChecker

Public Functions

inline TypeChecker(const analysis *a)

bool typecheckDomain()

bool typecheckAction(const operator_ *act)

bool typecheckProblem()

bool typecheckPlan(const plan *p)

bool typecheckGoal(const goal *g)

bool typecheckProposition(const proposition *g)

bool typecheckActionInstance(const plan_step *p)

bool typecheckDerivationRule(const derivation_rule *d)

bool typecheckEffect(const effect *e)

bool typecheckEffects(const effect_lists *e)

bool typecheckFuncTerm(const func_term *f)

bool typecheckExpression(const expression *e)

bool subType(const pddl_typed_symbol*, const pddl_typed_symbol*)

bool subType(const pddl_type*, const pddl_typed_symbol*)

bool subType(const pddl_type*, const pddl_type*)

vector<const_symbol*> range(const var_symbol *v)

vector<const_symbol*> range(const parameter_symbol *v)

vector<const_symbol*> range(const pddl_type *t)

vector<const pddl_type*> leaves(const pddl_type *t)

vector<const pddl_type*> accumulateAll(const pddl_type *t)

bool isLeafType(const pddl_type *t)