19 explicit Result(std::vector<std::string> names);
23 const std::vector<std::string>& get_variable_names()
const;
65 std::string
print(
bool type =
false,
bool unknown =
false);
68 std::vector<std::string> variable_names;
70 static Value dummy_plug;
std::string print(bool type=false, bool unknown=false)
prints Result
Definition: Result.cc:383
type
Enumeration type for four-valued logic.
Definition: Types.h:45
bool add_element(const std::vector< Value *> &vect, logic_type::type value)
adds element to result
Definition: Result.cc:28
void negate()
negates all logic values
Definition: Result.cc:323
void sum_Results_OP(Result &other, operation_type::type operation)
merges another Result into current one
Definition: Result.cc:69
Definition: Application.cc:37
Result * trim_variables(std::vector< std::string > names)
restricts result to only some variables
Definition: Result.cc:330
void add_variable_name(const std::string name)
adds variable name to result
Definition: Result.cc:44
Definition: Valuation.h:11
Value class that handles different types of data.
Definition: Value.h:11
void apply_operation(operation_type::type operation, logic_type::type value)
applies operation to all logic values in valuation
Definition: Result.cc:48