Inter4ql
5.2
|
Static class for handling four-valued logic operations. More...
#include <Logic.h>
Static Public Member Functions | |
static logic_type::type | OR_RESULT (logic_type::type a, logic_type::type b) |
or method - when you have type a in model and put type b... More... | |
static logic_type::type | OR (logic_type::type a, logic_type::type b) |
or logic method - in standard logic terms More... | |
static logic_type::type | AND (logic_type::type a, logic_type::type b) |
and logic method More... | |
static logic_type::type | IMPLICATION (logic_type::type a, logic_type::type b) |
implication logic method More... | |
static logic_type::type | NOT (logic_type::type a) |
negates logic value More... | |
static logic_type::type | TUP (logic_type::type a, logic_type::type b) |
returns upper bound on truth ordering More... | |
static logic_type::type | MAX (logic_type::type a, logic_type::type b) |
returns MAX logic value wrt to f<u<i<t order More... | |
static logic_type::type | MIN (logic_type::type a, logic_type::type b) |
returns MIN logic value wrt to f<u<i<t order More... | |
static std::string | get_logic_name (Inter4ql::logic_type::type t) |
converts logic value to string More... | |
static Inter4ql::logic_type::type | create (bool _t, bool _f) |
craetes four-valued logic value from two booleans More... | |
static bool | is_true (logic_type::type i) |
checks if input four-valued logic value is true More... | |
static bool | is_false (logic_type::type i) |
checks if input four-valued logic value is false More... | |
static bool | is_more_knowledge (logic_type::type a, logic_type::type b) |
checks if first logic value contains more informations than the second More... | |
Static class for handling four-valued logic operations.
|
inlinestatic |
and logic method
a | first logic value |
b | second logic value |
|
inlinestatic |
craetes four-valued logic value from two booleans
_t | is true value |
_f | is false value |
|
inlinestatic |
converts logic value to string
t | logic value |
|
inlinestatic |
implication logic method
a | first logic value |
b | second logic value |
|
inlinestatic |
checks if input four-valued logic value is false
i | four-valued logic value |
|
inlinestatic |
checks if first logic value contains more informations than the second
a | logic value to test |
b | logic value to test |
|
inlinestatic |
checks if input four-valued logic value is true
i | four-valued logic value |
|
inlinestatic |
returns MAX logic value wrt to f<u<i<t order
a | first logic value |
b | second logic value |
|
inlinestatic |
returns MIN logic value wrt to f<u<i<t order
a | first logic value |
b | second logic value |
|
inlinestatic |
negates logic value
a | logic value |
|
inlinestatic |
or logic method - in standard logic terms
a | first logic value |
b | second logic value |
|
inlinestatic |
or method - when you have type a in model and put type b...
a | first logic value |
b | second logic value |
|
inlinestatic |
returns upper bound on truth ordering
a | first logic value |
b | second logic value |