Inter4ql
5.2
|
This is the complete list of members for Inter4ql::Result, including all inherited members.
add_element(const std::vector< Value *> &vect, logic_type::type value) | Inter4ql::Result | |
add_variable_name(const std::string name) | Inter4ql::Result | |
apply_operation(operation_type::type operation, logic_type::type value) | Inter4ql::Result | |
get_valuation() const (defined in Inter4ql::Result) | Inter4ql::Result | |
get_valuation_destructive() (defined in Inter4ql::Result) | Inter4ql::Result | |
get_variable_names() const (defined in Inter4ql::Result) | Inter4ql::Result | |
negate() | Inter4ql::Result | |
print(bool type=false, bool unknown=false) | Inter4ql::Result | |
Result() (defined in Inter4ql::Result) | Inter4ql::Result | |
Result(std::vector< std::string > names) (defined in Inter4ql::Result) | Inter4ql::Result | explicit |
Result(std::vector< std::string > names, Valuation valuation) (defined in Inter4ql::Result) | Inter4ql::Result | explicit |
sum_Results_OP(Result &other, operation_type::type operation) | Inter4ql::Result | |
trim_variables(std::vector< std::string > names) | Inter4ql::Result | |
~Result() (defined in Inter4ql::Result) | Inter4ql::Result |