◆ Valuation()
Inter4ql::Valuation::Valuation |
( |
| ) |
|
◆ add_element()
adds element to valuation
- Parameters
-
args | values to add |
value | logic value to assign to them |
- Returns
- true if element was successfully added
◆ expand_by()
void Inter4ql::Valuation::expand_by |
( |
const std::vector< Value *> & |
vals | ) |
|
expands current valuation by adding another variable
- Parameters
-
vals | possible values for new variable |
◆ get_first_logic_value()
gets first logic value in the list (if no variables then it would be a global logic value)
- Returns
- first logic value in the list
◆ get_logic_value()
gets logic value for a given arguments
- Returns
- logic value
◆ is_all_unknown()
bool Inter4ql::Valuation::is_all_unknown |
( |
| ) |
const |
checks whether all elements of valuation are unknown
- Returns
- whether all element are unknown
◆ remove_element()
bool Inter4ql::Valuation::remove_element |
( |
const std::vector< Value *> & |
args | ) |
|
removes element from valuation
- Parameters
-
- Returns
- true if element was successfully removed
◆ remove_inconsistent()
void Inter4ql::Valuation::remove_inconsistent |
( |
const Valuation & |
val | ) |
|
remove all valuations that are inconsistent in argument
- Parameters
-
vals | valuation to check for inconsistencies |
The documentation for this class was generated from the following files:
- /home/lukasz/Desktop/Inter4QL_5_2/Inter4QL_5_2/src/Valuation.h
- /home/lukasz/Desktop/Inter4QL_5_2/Inter4QL_5_2/src/Valuation.cc