Inter4ql  5.2
Inter4ql::Result Member List

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::Resultexplicit
Result(std::vector< std::string > names, Valuation valuation) (defined in Inter4ql::Result)Inter4ql::Resultexplicit
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