Inter4ql  5.2
Static Public Member Functions | List of all members
Inter4ql::Logic Class Reference

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...
 

Detailed Description

Static class for handling four-valued logic operations.

Member Function Documentation

◆ AND()

static logic_type::type Inter4ql::Logic::AND ( logic_type::type  a,
logic_type::type  b 
)
inlinestatic

and logic method

Parameters
afirst logic value
bsecond logic value
Returns
a and b

◆ create()

static Inter4ql::logic_type::type Inter4ql::Logic::create ( bool  _t,
bool  _f 
)
inlinestatic

craetes four-valued logic value from two booleans

Parameters
_tis true value
_fis false value
Returns
four-valued logic value

◆ get_logic_name()

static std::string Inter4ql::Logic::get_logic_name ( Inter4ql::logic_type::type  t)
inlinestatic

converts logic value to string

Parameters
tlogic value
Returns
string value of input logic value

◆ IMPLICATION()

static logic_type::type Inter4ql::Logic::IMPLICATION ( logic_type::type  a,
logic_type::type  b 
)
inlinestatic

implication logic method

Parameters
afirst logic value
bsecond logic value
Returns
a -> b

◆ is_false()

static bool Inter4ql::Logic::is_false ( logic_type::type  i)
inlinestatic

checks if input four-valued logic value is false

Parameters
ifour-valued logic value
Returns
is value i false

◆ is_more_knowledge()

static bool Inter4ql::Logic::is_more_knowledge ( logic_type::type  a,
logic_type::type  b 
)
inlinestatic

checks if first logic value contains more informations than the second

Parameters
alogic value to test
blogic value to test
Returns
whether a contains more informations than b

◆ is_true()

static bool Inter4ql::Logic::is_true ( logic_type::type  i)
inlinestatic

checks if input four-valued logic value is true

Parameters
ifour-valued logic value
Returns
is value i true

◆ MAX()

static logic_type::type Inter4ql::Logic::MAX ( logic_type::type  a,
logic_type::type  b 
)
inlinestatic

returns MAX logic value wrt to f<u<i<t order

Parameters
afirst logic value
bsecond logic value
Returns
MAX logic value wrt to f<u<i<t order

◆ MIN()

static logic_type::type Inter4ql::Logic::MIN ( logic_type::type  a,
logic_type::type  b 
)
inlinestatic

returns MIN logic value wrt to f<u<i<t order

Parameters
afirst logic value
bsecond logic value
Returns
MIN logic value wrt to f<u<i<t order

◆ NOT()

static logic_type::type Inter4ql::Logic::NOT ( logic_type::type  a)
inlinestatic

negates logic value

Parameters
alogic value
Returns
logic value that is negations of a

◆ OR()

static logic_type::type Inter4ql::Logic::OR ( logic_type::type  a,
logic_type::type  b 
)
inlinestatic

or logic method - in standard logic terms

Parameters
afirst logic value
bsecond logic value
Returns
a or b

◆ OR_RESULT()

static logic_type::type Inter4ql::Logic::OR_RESULT ( logic_type::type  a,
logic_type::type  b 
)
inlinestatic

or method - when you have type a in model and put type b...

Parameters
afirst logic value
bsecond logic value
Returns
a or b

◆ TUP()

static logic_type::type Inter4ql::Logic::TUP ( logic_type::type  a,
logic_type::type  b 
)
inlinestatic

returns upper bound on truth ordering

Parameters
afirst logic value
bsecond logic value
Returns
upper bound of a and b with respect to truth ordering

The documentation for this class was generated from the following file: