Inter4ql
5.2
|
CInter4ql::action_entry_compare | |
CInter4ql::ActionEntry | |
CInter4ql::Application | Application class - class that merges all modules and creates interpreter |
CInter4ql::AsExpr | |
CInter4ql::BooleanExpression::bool_elem | |
CInter4ql::BooleanExpression | |
CInter4ql::Checker | Checker class - class that validates 4QL programs |
CInter4ql::ConstraintEntry | |
CInter4ql::Constraints | Output class handles standard output of interpreter |
CInter4ql::BooleanExpression::data_type | |
CInter4ql::disp_type | Enumeration type for types of objects that can be stored in Disposable object |
CInter4ql::Disposable | Structure that handles memory managment - adds objecst and frees them |
CInter4ql::Domain | Domain class - class that points to a data type |
CInter4ql::Exception | Class that implements an exception |
CInter4ql::Expression | |
CInter4ql::expression_type | |
CInter4ql::Fact | Class that implements a fact |
CInter4ql::line_type | Structure that handles enumeration type for command line types |
CInter4ql::Logic | Static class for handling four-valued logic operations |
CInter4ql::logic_type | Structure that handles enumeration type for four-valued logic |
CInter4ql::module_type | |
▼CInter4ql::ModuleGeneric | Generic class of module (only virtual methods) |
CInter4ql::ModuleAction | Implementation of ModuleAction for modules with reasoning |
CInter4ql::ModuleBelief | Implementation of ModuleGeneric for modules with reasoning |
▼CInter4ql::ModuleExternal | Class that handles modules with support of external applications |
CInter4ql::Plugin | Plugin module used to implement operations delievered by external applications |
CInter4ql::ModuleGroup | Implementation of ModuleGeneric for modules with reasoning |
▼CInter4ql::ModuleInternal | Class that handles hardcoded relations in modules (f.e. math functions) |
CInter4ql::Bel | Math module used to implement basic math operations |
CInter4ql::Math | Math module used to implement basic math operations |
▼CInter4ql::ModuleLocal | Implementation of ModuleGeneric for modules with reasoning |
CInter4ql::ModuleSum | Implementation of ModuleSum for sum of module models |
CInter4ql::ModuleProblem | Implementation of ModuleAction for modules with reasoning |
CInter4ql::operation_type | |
CInter4ql::Output | Output class handles standard output of interpreter |
CInter4ql::Parser | Parser class, enclosure of generated GNU Bison LineParser class |
CInter4ql::parser_line | Structure for handling lines from interpreter |
CInter4ql::Program | Class that handles 4QL programs |
CInter4ql::QuantifierEntry | |
CInter4ql::Relation | Class that handles relation instance inside modules |
CInter4ql::Result | |
CInter4ql::Rule | Class that handles rules in ModuleLocal |
CInter4ql::StackElem | |
CInter4ql::Valuation | |
CInter4ql::Value | Value class that handles different types of data |
CInter4ql::variable_type | Structure that handles enumeration type for types of values |
CInter4ql::VariableSpace | VariableSpace class for handling all values in interpreter environment |
▼CyyFlexLexer | |
CInter4ql::Scanner | Scanner class, deriving from Flex generated class |