Class DerivationRules

Defined in File Validator.h

Class Documentation

class DerivationRules

Public Functions

DerivationRules(const derivations_list *d, const operator_list *o)

~DerivationRules()

bool checkDerivedPredicates() const

bool stratification() const

unsigned int occurNNF(derivation_rule *drv1, derivation_rule *drv2) const

unsigned int occur(string s, const goal *g) const

const goal *NNF(const goal *gl) const

bool effects() const

bool effects(const effect_lists *efflist) const

bool isDerivedPred(string s) const

inline map<string, pair<const goal*, const var_symbol_table*>> getDerivPreds() const