LEMUR Packages: ompl_lemur or_lemur pr_bgl prpy_lemur
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Groups Pages
Classes | Public Member Functions | Public Attributes | List of all members
ompl_lemur::LogicEngine Class Reference

Classes

struct  Assignment
 
struct  AssignmentDelta
 
struct  ConjunctionImplication
 
struct  SearchVertex
 
struct  VarVal
 

Public Member Functions

 LogicEngine (std::size_t num_vars)
 
Assignment empty_assignment ()
 
void add_conjunction_implication (std::vector< std::size_t > antecedents, std::size_t consequent)
 
bool initialize ()
 
void cheapest (const Assignment &current, const VarVal &target_assignment, const std::vector< double > &var_costs, std::vector< AssignmentDelta > &deltas)
 

Public Attributes

std::size_t num_vars
 
bool initialized
 
std::vector
< ConjunctionImplication > 		conjunction_implications
 
std::vector< std::vector< bool > > truth_table
 
The documentation for this class was generated from the following file:
Generated on Sat Sep 3 2016 01:25:39 for ompl_lemur by   doxygen 1.8.6 using Read the Docs