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

Public Member Functions

 Result (std::vector< std::string > names)
 
 Result (std::vector< std::string > names, Valuation valuation)
 
const std::vector< std::string > & get_variable_names () const
 
const Valuationget_valuation () const
 
Valuationget_valuation_destructive ()
 
bool add_element (const std::vector< Value *> &vect, logic_type::type value)
 adds element to result More...
 
void add_variable_name (const std::string name)
 adds variable name to result More...
 
void sum_Results_OP (Result &other, operation_type::type operation)
 merges another Result into current one More...
 
void negate ()
 negates all logic values More...
 
Resulttrim_variables (std::vector< std::string > names)
 restricts result to only some variables More...
 
void apply_operation (operation_type::type operation, logic_type::type value)
 applies operation to all logic values in valuation More...
 
std::string print (bool type=false, bool unknown=false)
 prints Result More...
 

Member Function Documentation

◆ add_element()

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

adds element to result

Parameters
vectvalues that are being valuated
valuelogic 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
namename to be added

◆ apply_operation()

void Inter4ql::Result::apply_operation ( operation_type::type  operation,
logic_type::type  value 
)

applies operation to all logic values in valuation

Parameters
operationoperation to be applied
valuelogic values used as operand to operation

◆ negate()

void Inter4ql::Result::negate ( )

negates all logic values

◆ print()

std::string Inter4ql::Result::print ( bool  type = false,
bool  unknown = false 
)

prints Result

Parameters
typeprints types of element
unknownprints unknown values

◆ sum_Results_OP()

void Inter4ql::Result::sum_Results_OP ( Result other,
operation_type::type  operation 
)

merges another Result into current one

Parameters
otheranother result
operatiological operation used for merging

◆ trim_variables()

Result * Inter4ql::Result::trim_variables ( std::vector< std::string >  names)

restricts result to only some variables

Parameters
namesvariables to preserve

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