Inter4ql  5.2
Public Types | List of all members
Inter4ql::disp_type Struct Reference

Enumeration type for types of objects that can be stored in Disposable object. More...

#include <Disposable.h>

Public Types

enum  type {
  PROGRAM, MODULE_LOCAL_VECTOR, MODULE_LOCAL, MODULE_GROUP,
  MEMBERS_VECTOR, DOMAIN_VECTOR, DOMAIN_suf, RELATION_VECTOR,
  RELATION, RULE_VECTOR, RULE, FACT_VECTOR,
  FACT, FACT_VECTOR_VECTOR, VALUE_VECTOR, VALUE,
  MODULE_BELIEF, MODULE_ACTION, MODULE_PROBLEM, CONSTRAINTS,
  CONSTRAINT_ENTRY, QUANTIFIER_ENTRY, QUANTIFIERS_VECTOR, CONSTRAINT_ENTRY_VECTOR,
  EXPRESSION_VECTOR, EXPRESSION
}
 

Detailed Description

Enumeration type for types of objects that can be stored in Disposable object.


The documentation for this struct was generated from the following file: