◆ add_element()
adds element to result
- Parameters
-
vect | values that are being valuated |
value | logic value |
- Returns
- true if adds successfully
◆ add_variable_name()
void Inter4ql::Result::add_variable_name |
( |
const std::string |
name | ) |
|
adds variable name to result
- Parameters
-
◆ apply_operation()
void Inter4ql::Result::apply_operation |
( |
operation_type::type |
operation, |
|
|
logic_type::type |
value |
|
) |
| |
applies operation to all logic values in valuation
- Parameters
-
operation | operation to be applied |
value | logic values used as operand to operation |
◆ negate()
void Inter4ql::Result::negate |
( |
| ) |
|
◆ print()
std::string Inter4ql::Result::print |
( |
bool |
type = false , |
|
|
bool |
unknown = false |
|
) |
| |
prints Result
- Parameters
-
type | prints types of element |
unknown | prints unknown values |
◆ sum_Results_OP()
void Inter4ql::Result::sum_Results_OP |
( |
Result & |
other, |
|
|
operation_type::type |
operation |
|
) |
| |
merges another Result into current one
- Parameters
-
other | another result |
operatio | logical operation used for merging |
◆ trim_variables()
Result * Inter4ql::Result::trim_variables |
( |
std::vector< std::string > |
names | ) |
|
restricts result to only some variables
- Parameters
-
names | variables to preserve |
The documentation for this class was generated from the following files:
- /home/lukasz/Desktop/Inter4QL_5_2/Inter4QL_5_2/src/Result.h
- /home/lukasz/Desktop/Inter4QL_5_2/Inter4QL_5_2/src/Result.cc