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

Public Member Functions

 Valuation ()
 constructor More...
 
bool add_element (const std::vector< Value *> &args, logic_type::type value)
 adds element to valuation More...
 
logic_type::type get_logic_value (const std::vector< Value *> &vect)
 gets logic value for a given arguments More...
 
bool remove_element (const std::vector< Value *> &args)
 removes element from valuation More...
 
void expand_by (const std::vector< Value *> &vals)
 expands current valuation by adding another variable More...
 
void remove_inconsistent (const Valuation &val)
 remove all valuations that are inconsistent in argument More...
 
logic_type::type get_first_logic_value () const
 gets first logic value in the list (if no variables then it would be a global logic value) More...
 
bool is_all_unknown () const
 checks whether all elements of valuation are unknown More...
 
void print ()
 
decltype(valuation) ::iterator begin ()
 
decltype(valuation) const ::const_iterator begin () const
 
decltype(valuation) ::iterator end ()
 
decltype(valuation) const ::const_iterator end () const
 
decltype(valuation) const ::size_type size () const
 
decltype(valuation) const ::const_iterator find (const std::vector< Value *> &a) const
 

Constructor & Destructor Documentation

◆ Valuation()

Inter4ql::Valuation::Valuation ( )

constructor

Member Function Documentation

◆ add_element()

bool Inter4ql::Valuation::add_element ( const std::vector< Value *> &  args,
logic_type::type  value 
)

adds element to valuation

Parameters
argsvalues to add
valuelogic 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
valspossible values for new variable

◆ get_first_logic_value()

logic_type::type Inter4ql::Valuation::get_first_logic_value ( ) const

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()

logic_type::type Inter4ql::Valuation::get_logic_value ( const std::vector< Value *> &  vect)

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
argsvalues to remove
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
valsvaluation to check for inconsistencies

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