Class holding_pred_symbol

Defined in File TypedAnalyser.h

Inheritance Relationships

Base Type

public VAL::pred_symbol (Class pred_symbol)

Class Documentation

class holding_pred_symbol : public VAL::pred_symbol 

An extension of the pred_symbol class, used by TIM to coordinate typed domain analysis. holding_pred_symbols are substituted in when parsing predicates in the domain and problem files.

Each holding_pred_symbol has one or more derived extended_pred_symbol objects - one for each combination of types and sub-types that can be passed to the predicate. Following the TIM analysis, these can be used to ascertain domain properties.