6 #include <unordered_map> 18 typedef std::unordered_multimap<std::string, std::shared_ptr<Valuation> > database;
type
Enumeration type for four-valued logic.
Definition: Types.h:45
class that implements a fact
Definition: Fact.h:14
std::vector< std::string > values
values of a line (used only in some cases)
Definition: Types.h:88
line_type::type type
type of a line
Definition: Types.h:79
Definition: Expression.h:10
Fact * rule
pointer to a Fact in a line (used only in some cases)
Definition: Types.h:91
Definition: Application.cc:37
bool bool_value
bool value of a line (used only in some cases)
Definition: Types.h:85
Program * program
pointer to a Program imported in a line (used only in some cases)
Definition: Types.h:97
type
Enumeration type for command line types.
Definition: Types.h:58
Expression * expression
pointer to an Expression in a line (used only in some cases)
Definition: Types.h:94
structure that handles enumeration type for command line types
Definition: Types.h:55
structure that handles enumeration type for four-valued logic.
Definition: Types.h:42
type
Enumeration type for types of values.
Definition: Types.h:26
std::string value
value of a line (used only in some cases)
Definition: Types.h:82
class that handles 4QL programs
Definition: Program.h:13
structure for handling lines from interpreter
Definition: Types.h:76
structure that handles enumeration type for types of values.
Definition: Types.h:23