aGrUM  0.16.0
Public Member Functions | List of all members
gum::prm::o3prm::O3ClassFactory< GUM_SCALAR > Class Template Reference

Builds gum::prm::Class from gum::prm::o3prm::O3Class. More...

#include <agrum/PRM/o3prm/O3ClassFactory.h>

+ Collaboration diagram for gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >:

Public Member Functions

 O3ClassFactory (PRM< GUM_SCALAR > &prm, O3PRM &o3_prm, O3NameSolver< GUM_SCALAR > &solver, ErrorsContainer &errors)
 
 O3ClassFactory (const O3ClassFactory< GUM_SCALAR > &src)
 
 O3ClassFactory (O3ClassFactory< GUM_SCALAR > &&src)
 
 ~O3ClassFactory ()
 
O3ClassFactory< GUM_SCALAR > & operator= (const O3ClassFactory< GUM_SCALAR > &src)
 
O3ClassFactory< GUM_SCALAR > & operator= (O3ClassFactory< GUM_SCALAR > &&src)
 
void buildClasses ()
 
void buildImplementations ()
 
void buildParameters ()
 
void buildReferenceSlots ()
 
void declareAggregates ()
 
void completeAggregates ()
 
void declareAttributes ()
 
void completeAttributes ()
 

Detailed Description

template<typename GUM_SCALAR>
class gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >

Builds gum::prm::Class from gum::prm::o3prm::O3Class.

Template Parameters
GUM_SCALARThe scalar type used by the gum::prm:PRM.

Definition at line 59 of file O3ClassFactory.h.

Constructor & Destructor Documentation

◆ O3ClassFactory() [1/3]

template<typename GUM_SCALAR >
INLINE gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::O3ClassFactory ( PRM< GUM_SCALAR > &  prm,
O3PRM &  o3_prm,
O3NameSolver< GUM_SCALAR > &  solver,
ErrorsContainer &  errors 
)

Definition at line 38 of file O3ClassFactory_tpl.h.

42  :
43  __prm(&prm),
44  __o3_prm(&o3_prm), __solver(&solver), __errors(&errors) {
45  GUM_CONSTRUCTOR(O3ClassFactory);
46  }
gum::prm::o3prm::O3ClassFactory::O3ClassFactory
O3ClassFactory(PRM< GUM_SCALAR > &prm, O3PRM &o3_prm, O3NameSolver< GUM_SCALAR > &solver, ErrorsContainer &errors)
Definition: O3ClassFactory_tpl.h:38
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93

◆ O3ClassFactory() [2/3]

template<typename GUM_SCALAR >
INLINE gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::O3ClassFactory ( const O3ClassFactory< GUM_SCALAR > &  src)

Definition at line 49 of file O3ClassFactory_tpl.h.

50  :
51  __prm(src.__prm),
52  __o3_prm(src.__o3_prm), __solver(src.__solver), __errors(src.__errors),
53  __nameMap(src.__nameMap), __classMap(src.__classMap),
54  __nodeMap(src.__nodeMap), __dag(src.__dag),
55  __o3Classes(src.__o3Classes) {
56  GUM_CONS_CPY(O3ClassFactory);
57  }
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:96
gum::prm::o3prm::O3ClassFactory::O3ClassFactory
O3ClassFactory(PRM< GUM_SCALAR > &prm, O3PRM &o3_prm, O3NameSolver< GUM_SCALAR > &solver, ErrorsContainer &errors)
Definition: O3ClassFactory_tpl.h:38
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:98
gum::prm::o3prm::O3ClassFactory::__classMap
HashTable< std::string, O3Class *> __classMap
Definition: O3ClassFactory.h:97
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93

◆ O3ClassFactory() [3/3]

template<typename GUM_SCALAR >
INLINE gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::O3ClassFactory ( O3ClassFactory< GUM_SCALAR > &&  src)

Definition at line 60 of file O3ClassFactory_tpl.h.

61  :
62  __prm(std::move(src.__prm)),
63  __o3_prm(std::move(src.__o3_prm)), __solver(std::move(src.__solver)),
64  __errors(std::move(src.__errors)), __nameMap(std::move(src.__nameMap)),
65  __classMap(std::move(src.__classMap)),
66  __nodeMap(std::move(src.__nodeMap)), __dag(std::move(src.__dag)),
67  __o3Classes(std::move(src.__o3Classes)) {
68  GUM_CONS_MOV(O3ClassFactory);
69  }
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:96
gum::prm::o3prm::O3ClassFactory::O3ClassFactory
O3ClassFactory(PRM< GUM_SCALAR > &prm, O3PRM &o3_prm, O3NameSolver< GUM_SCALAR > &solver, ErrorsContainer &errors)
Definition: O3ClassFactory_tpl.h:38
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:98
gum::prm::o3prm::O3ClassFactory::__classMap
HashTable< std::string, O3Class *> __classMap
Definition: O3ClassFactory.h:97
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93

◆ ~O3ClassFactory()

template<typename GUM_SCALAR >
INLINE gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::~O3ClassFactory ( )

Definition at line 72 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

72  {
73  GUM_DESTRUCTOR(O3ClassFactory);
74  }
gum::prm::o3prm::O3ClassFactory::O3ClassFactory
O3ClassFactory(PRM< GUM_SCALAR > &prm, O3PRM &o3_prm, O3NameSolver< GUM_SCALAR > &solver, ErrorsContainer &errors)
Definition: O3ClassFactory_tpl.h:38
+ Here is the call graph for this function:

Member Function Documentation

◆ __addParameters()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__addParameters ( PRMFactory< GUM_SCALAR > &  factory,
O3Class &  c 
)
private

Definition at line 323 of file O3ClassFactory_tpl.h.

References gum::prm::PRMFactory< GUM_SCALAR >::addParameter(), gum::prm::o3prm::O3Parameter::FLOAT, GUM_ERROR, gum::prm::o3prm::O3Parameter::INT, and gum::prm::o3prm::O3Class::parameters().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildParameters().

324  {
325  for (auto& p : c.parameters()) {
326  switch (p.type()) {
327  case O3Parameter::PRMType::INT: {
328  factory.addParameter("int", p.name().label(), p.value().value());
329  break;
330  }
331 
332  case O3Parameter::PRMType::FLOAT: {
333  factory.addParameter("real", p.name().label(), p.value().value());
334  break;
335  }
336 
337  default: {
338  GUM_ERROR(FatalError, "unknown O3Parameter type");
339  }
340  }
341  }
342  }
GUM_ERROR
#define GUM_ERROR(type, msg)
Definition: exceptions.h:55
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __addParamsToForms()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__addParamsToForms ( const HashTable< std::string, const PRMParameter< GUM_SCALAR > * > &  scope,
O3RuleCPT::O3Rule &  rule 
)
private

Definition at line 713 of file O3ClassFactory_tpl.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPT().

715  {
716  // Add parameters to formulas
717  for (auto& f : rule.second) {
718  f.formula().variables().clear();
719  for (const auto& values : scope) {
720  f.formula().variables().insert(values.first, values.second->value());
721  }
722  }
723  }
+ Here is the caller graph for this function:

◆ __addReferenceSlots()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__addReferenceSlots ( O3Class &  c)
private

Definition at line 354 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkReferenceSlot(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::PRMFactory< GUM_SCALAR >::addReferenceSlot(), gum::prm::PRMFactory< GUM_SCALAR >::continueClass(), gum::prm::PRMFactory< GUM_SCALAR >::endClass(), gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Class::name(), and gum::prm::o3prm::O3Class::referenceSlots().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildReferenceSlots().

354  {
355  PRMFactory< GUM_SCALAR > factory(__prm);
356 
357  factory.continueClass(c.name().label());
358 
359  // References
360  for (auto& ref : c.referenceSlots()) {
361  if (__checkReferenceSlot(c, ref)) {
362  factory.addReferenceSlot(
363  ref.type().label(), ref.name().label(), ref.isArray());
364  }
365  }
366 
367  factory.endClass(false);
368  }
gum::prm::o3prm::O3ClassFactory::__checkReferenceSlot
bool __checkReferenceSlot(O3Class &c, O3ReferenceSlot &ref)
Definition: O3ClassFactory_tpl.h:372
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAggParameters()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParameters ( O3Class &  o3class,
O3Aggregate &  agg,
const PRMType *  t 
)
private

Definition at line 991 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParametersNumber(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParameterValue(), gum::prm::o3prm::O3Aggregate::aggregateType(), GUM_ERROR, and gum::prm::o3prm::O3Label::label().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggregateForCompletion().

992  {
993  bool ok = false;
994 
995  switch (gum::prm::PRMAggregate< GUM_SCALAR >::str2enum(
996  agg.aggregateType().label())) {
997  case PRMAggregate< GUM_SCALAR >::AggregateType::MIN:
998  case PRMAggregate< GUM_SCALAR >::AggregateType::MAX:
999  case PRMAggregate< GUM_SCALAR >::AggregateType::AMPLITUDE:
1000  case PRMAggregate< GUM_SCALAR >::AggregateType::MEDIAN:
1001  case PRMAggregate< GUM_SCALAR >::AggregateType::OR:
1002  case PRMAggregate< GUM_SCALAR >::AggregateType::AND: {
1003  ok = __checkParametersNumber(agg, 0);
1004  break;
1005  }
1006 
1007  case PRMAggregate< GUM_SCALAR >::AggregateType::FORALL:
1008  case PRMAggregate< GUM_SCALAR >::AggregateType::EXISTS:
1009  case PRMAggregate< GUM_SCALAR >::AggregateType::COUNT: {
1010  ok = __checkParametersNumber(agg, 1);
1011  break;
1012  }
1013 
1014  default: {
1015  GUM_ERROR(FatalError, "unknown aggregate type");
1016  }
1017  }
1018 
1019  if (!ok) { return false; }
1020 
1021  // Checking parameters type
1022  switch (gum::prm::PRMAggregate< GUM_SCALAR >::str2enum(
1023  agg.aggregateType().label())) {
1024  case PRMAggregate< GUM_SCALAR >::AggregateType::FORALL:
1025  case PRMAggregate< GUM_SCALAR >::AggregateType::EXISTS:
1026  case PRMAggregate< GUM_SCALAR >::AggregateType::COUNT: {
1027  ok = __checkParameterValue(agg, *t);
1028  break;
1029  }
1030 
1031  default: { /* Nothing to do */
1032  }
1033  }
1034 
1035  return ok;
1036  }
gum::prm::o3prm::O3ClassFactory::__checkParameterValue
bool __checkParameterValue(O3Aggregate &agg, const gum::prm::PRMType &t)
Definition: O3ClassFactory_tpl.h:1052
gum::prm::o3prm::O3ClassFactory::__checkParametersNumber
bool __checkParametersNumber(O3Aggregate &agg, Size n)
Definition: O3ClassFactory_tpl.h:1040
GUM_ERROR
#define GUM_ERROR(type, msg)
Definition: exceptions.h:55
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAggParents()

template<typename GUM_SCALAR >
INLINE const PRMType * gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParents ( O3Class &  o3class,
O3Aggregate &  agg 
)
private

Definition at line 938 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__resolveSlotChain(), gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Class::name(), and gum::prm::o3prm::O3Aggregate::parents().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggregateForCompletion().

939  {
940  const auto& c = __prm->getClass(o3class.name().label());
941  auto t = (const PRMType*)nullptr;
942 
943  for (const auto& prnt : agg.parents()) {
944  auto elt = __resolveSlotChain(c, prnt);
945 
946  if (elt == nullptr) {
947  O3PRM_CLASS_PARENT_NOT_FOUND(prnt, *__errors);
948  return nullptr;
949 
950  } else {
951  if (t == nullptr) {
952  try {
953  t = &(elt->type());
954 
955  } catch (OperationNotAllowed&) {
956  O3PRM_CLASS_WRONG_PARENT(prnt, *__errors);
957  return nullptr;
958  }
959 
960  } else if ((*t) != elt->type()) {
961  // Wront type in chain
962  O3PRM_CLASS_WRONG_PARENT_TYPE(
963  prnt, t->name(), elt->type().name(), *__errors);
964  return nullptr;
965  }
966  }
967  }
968  return t;
969  }
gum::prm::o3prm::O3ClassFactory::__resolveSlotChain
const PRMClassElement< GUM_SCALAR > * __resolveSlotChain(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain)
Definition: O3ClassFactory_tpl.h:853
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAggregateForCompletion()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggregateForCompletion ( O3Class &  o3class,
O3Aggregate &  agg 
)
private

Definition at line 562 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParameters(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParents().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__completeAggregates().

563  {
564  // Checking parents
565  auto t = __checkAggParents(c, agg);
566  if (t == nullptr) { return false; }
567 
568  // Checking parameters numbers
569  if (!__checkAggParameters(c, agg, t)) { return false; }
570 
571  return true;
572  }
gum::prm::o3prm::O3ClassFactory::__checkAggParameters
bool __checkAggParameters(O3Class &o3class, O3Aggregate &agg, const PRMType *t)
Definition: O3ClassFactory_tpl.h:991
gum::prm::o3prm::O3ClassFactory::__checkAggParents
const PRMType * __checkAggParents(O3Class &o3class, O3Aggregate &agg)
Definition: O3ClassFactory_tpl.h:938
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAggregateForDeclaration()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggregateForDeclaration ( O3Class &  o3class,
O3Aggregate &  agg 
)
private

Definition at line 926 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggTypeLegality(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver, and gum::prm::o3prm::O3Aggregate::variableType().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__declareAggregates().

927  {
928  if (!__solver->resolveType(agg.variableType())) { return false; }
929 
930  // Checking type legality if overload
931  if (!__checkAggTypeLegality(o3class, agg)) { return false; }
932 
933  return true;
934  }
gum::prm::o3prm::O3ClassFactory::__checkAggTypeLegality
bool __checkAggTypeLegality(O3Class &o3class, O3Aggregate &agg)
Definition: O3ClassFactory_tpl.h:973
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAggTypeLegality()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggTypeLegality ( O3Class &  o3class,
O3Aggregate &  agg 
)
private

Definition at line 973 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Aggregate::name(), gum::prm::o3prm::O3Class::superLabel(), and gum::prm::o3prm::O3Aggregate::variableType().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggregateForDeclaration().

974  {
975  if (__prm->isClass(o3class.superLabel().label())) {
976  const auto& super = __prm->getClass(o3class.superLabel().label());
977  const auto& agg_type = __prm->type(agg.variableType().label());
978 
979  if (super.exists(agg.name().label())
980  && !agg_type.isSubTypeOf(super.get(agg.name().label()).type())) {
981  O3PRM_CLASS_ILLEGAL_OVERLOAD(
982  agg.name(), o3class.superLabel(), *__errors);
983  return false;
984  }
985  }
986 
987  return true;
988  }
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAndAddArcsToDag()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddArcsToDag ( )
private

Definition at line 167 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__dag, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nameMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3_prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver, gum::DAG::addArc(), and gum::prm::o3prm::O3PRM::classes().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkO3Classes().

167  {
168  for (auto& c : __o3_prm->classes()) {
169  if (c->superLabel().label() != "") {
170  if (!__solver->resolveClass(c->superLabel())) { return false; }
171 
172  auto head = __nameMap[c->superLabel().label()];
173  auto tail = __nameMap[c->name().label()];
174 
175  try {
176  __dag.addArc(tail, head);
177  } catch (InvalidDirectedCycle&) {
178  // Cyclic inheritance
179  O3PRM_CLASS_CYLIC_INHERITANCE(c->name(), c->superLabel(), *__errors);
180  return false;
181  }
182  }
183  }
184 
185  return true;
186  }
gum::prm::o3prm::O3PRM::classes
O3ClassList & classes()
Definition: O3prm.cpp:503
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:96
gum::DAG::addArc
virtual void addArc(const NodeId tail, const NodeId head)
insert a new arc into the directed graph
Definition: DAG_inl.h:43
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAndAddNodesToDag()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddNodesToDag ( )
private

Definition at line 148 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__classMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__dag, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nameMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nodeMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3_prm, gum::NodeGraphPart::addNode(), gum::prm::o3prm::O3PRM::classes(), and gum::HashTable< Key, Val, Alloc >::insert().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkO3Classes().

148  {
149  for (auto& c : __o3_prm->classes()) {
150  auto id = __dag.addNode();
151 
152  try {
153  __nameMap.insert(c->name().label(), id);
154  __classMap.insert(c->name().label(), c.get());
155  __nodeMap.insert(id, c.get());
156 
157  } catch (DuplicateElement&) {
158  O3PRM_CLASS_DUPLICATE(c->name(), *__errors);
159  return false;
160  }
161  }
162 
163  return true;
164  }
gum::prm::o3prm::O3PRM::classes
O3ClassList & classes()
Definition: O3prm.cpp:503
gum::NodeGraphPart::addNode
virtual NodeId addNode()
insert a new node and return its id
Definition: nodeGraphPart_inl.h:253
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:96
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:98
gum::prm::o3prm::O3ClassFactory::__classMap
HashTable< std::string, O3Class *> __classMap
Definition: O3ClassFactory.h:97
gum::HashTable::insert
value_type & insert(const Key &key, const Val &val)
Adds a new element (actually a copy of this element) into the hash table.
Definition: hashTable_tpl.h:877
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAttributeForCompletion()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForCompletion ( const O3Class &  o3_c,
O3Attribute &  attr 
)
private

Definition at line 620 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParent(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRawCPT(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPT(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Class::name(), and gum::prm::o3prm::O3Attribute::parents().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__completeAttribute().

621  {
622  // Check for parents existence
623  const auto& c = __prm->getClass(o3_c.name().label());
624  for (auto& prnt : attr.parents()) {
625  if (!__checkParent(c, prnt)) { return false; }
626  }
627 
628  // Check that CPT sums to 1
629  auto raw = dynamic_cast< O3RawCPT* >(&attr);
630  if (raw) { return __checkRawCPT(c, *raw); }
631 
632  auto rule = dynamic_cast< O3RuleCPT* >(&attr);
633  if (rule) { return __checkRuleCPT(c, *rule); }
634 
635  return true;
636  }
gum::prm::o3prm::O3ClassFactory::__checkRawCPT
bool __checkRawCPT(const PRMClass< GUM_SCALAR > &c, O3RawCPT &attr)
Definition: O3ClassFactory_tpl.h:781
gum::prm::o3prm::O3ClassFactory::__checkParent
bool __checkParent(const PRMClass< GUM_SCALAR > &c, const O3Label &prnt)
Definition: O3ClassFactory_tpl.h:639
gum::prm::o3prm::O3ClassFactory::__checkRuleCPT
bool __checkRuleCPT(const PRMClass< GUM_SCALAR > &c, O3RuleCPT &attr)
Definition: O3ClassFactory_tpl.h:761
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkAttributeForDeclaration()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForDeclaration ( O3Class &  o3_c,
O3Attribute &  attr 
)
private

Definition at line 464 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver, gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Attribute::name(), gum::prm::o3prm::O3Class::superLabel(), and gum::prm::o3prm::O3Attribute::type().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__declareAttribute().

465  {
466  // Check type
467  if (!__solver->resolveType(attr.type())) { return false; }
468 
469  // Checking type legality if overload
470  if (c.superLabel().label() != "") {
471  const auto& super = __prm->getClass(c.superLabel().label());
472 
473  if (!super.exists(attr.name().label())) { return true; }
474 
475  const auto& super_type = super.get(attr.name().label()).type();
476  const auto& type = __prm->type(attr.type().label());
477 
478  if (!type.isSubTypeOf(super_type)) {
479  O3PRM_CLASS_ILLEGAL_OVERLOAD(attr.name(), c.superLabel(), *__errors);
480  return false;
481  }
482  }
483  return true;
484  }
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkImplementation() [1/4]

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkImplementation ( O3Class &  c)
private

Definition at line 202 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver, gum::prm::o3prm::O3Class::aggregates(), gum::prm::o3prm::O3Class::attributes(), gum::HashTable< Key, Val, Alloc >::exists(), gum::prm::o3prm::O3Class::interfaces(), gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Class::name(), and gum::prm::o3prm::O3Class::referenceSlots().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildImplementations().

202  {
203  // Saving attributes names for fast lookup
204  auto attr_map = AttrMap();
205  for (auto& a : c.attributes()) {
206  attr_map.insert(a->name().label(), a.get());
207  }
208 
209  // Saving aggregates names for fast lookup
210  auto agg_map = AggMap();
211  for (auto& agg : c.aggregates()) {
212  agg_map.insert(agg.name().label(), &agg);
213  }
214 
215  auto ref_map = RefMap();
216  for (auto& ref : c.referenceSlots()) {
217  ref_map.insert(ref.name().label(), &ref);
218  }
219 
220  // Cheking interface implementation
221  for (auto& i : c.interfaces()) {
222  if (__solver->resolveInterface(i)) {
223  if (!__checkImplementation(c, i, attr_map, agg_map, ref_map)) {
224  return false;
225  }
226  }
227  }
228 
229  return true;
230  }
gum::prm::o3prm::AttrMap
HashTable< std::string, O3Attribute *> AttrMap
Definition: O3ClassFactory_tpl.h:197
gum::prm::o3prm::AggMap
HashTable< std::string, O3Aggregate *> AggMap
Definition: O3ClassFactory_tpl.h:199
gum::prm::o3prm::RefMap
HashTable< std::string, O3ReferenceSlot *> RefMap
Definition: O3ClassFactory_tpl.h:198
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkImplementation() [2/4]

template<typename GUM_SCALAR>
bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkImplementation ( O3Class &  c,
O3Label &  i,
HashTable< std::string, O3Attribute * > &  attrMap,
HashTable< std::string, O3Aggregate * > &  aggMap,
HashTable< std::string, O3ReferenceSlot * > &  refMap 
)
private

◆ __checkImplementation() [3/4]

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkImplementation ( O3Label &  o3_type,
const PRMType &  type 
)
private

Definition at line 288 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver, and gum::prm::o3prm::O3Label::label().

289  {
290  if (!__solver->resolveType(o3_type)) { return false; }
291 
292  return __prm->type(o3_type.label()).isSubTypeOf(type);
293  }
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
+ Here is the call graph for this function:

◆ __checkImplementation() [4/4]

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkImplementation ( O3Label &  o3_type,
const PRMClassElementContainer< GUM_SCALAR > &  type 
)
private

Definition at line 296 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver, and gum::prm::o3prm::O3Label::label().

297  {
298  if (!__solver->resolveSlotType(o3_type)) { return false; }
299 
300  if (__prm->isInterface(o3_type.label())) {
301  return __prm->getInterface(o3_type.label()).isSubTypeOf(type);
302  } else {
303  return __prm->getClass(o3_type.label()).isSubTypeOf(type);
304  }
305  }
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
+ Here is the call graph for this function:

◆ __checkLabelsNumber()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLabelsNumber ( const O3RuleCPT &  attr,
const O3RuleCPT::O3Rule &  rule 
)
private

Definition at line 676 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, and gum::prm::o3prm::O3Attribute::parents().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPT().

677  {
678  // Check that the number of labels is correct
679  if (rule.first.size() != attr.parents().size()) {
680  O3PRM_CLASS_ILLEGAL_RULE_SIZE(
681  rule, rule.first.size(), attr.parents().size(), *__errors);
682  return false;
683  }
684  return true;
685  }
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkLabelsValues()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLabelsValues ( const PRMClass< GUM_SCALAR > &  c,
const O3RuleCPT &  attr,
const O3RuleCPT::O3Rule &  rule 
)
private

Definition at line 688 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__resolveSlotChain(), and gum::prm::o3prm::O3Attribute::parents().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPT().

691  {
692  bool errors = false;
693  for (std::size_t i = 0; i < attr.parents().size(); ++i) {
694  auto label = rule.first[i];
695  auto prnt = attr.parents()[i];
696  try {
697  auto real_labels = __resolveSlotChain(c, prnt)->type()->labels();
698  // c.get(prnt.label()).type()->labels();
699  if (label.label() != "*"
700  && std::find(real_labels.begin(), real_labels.end(), label.label())
701  == real_labels.end()) {
702  O3PRM_CLASS_ILLEGAL_RULE_LABEL(rule, label, prnt, *__errors);
703  errors = true;
704  }
705  } catch (Exception&) {
706  // parent does not exists and is already reported
707  }
708  }
709  return errors == false;
710  }
gum::prm::o3prm::O3ClassFactory::__resolveSlotChain
const PRMClassElement< GUM_SCALAR > * __resolveSlotChain(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain)
Definition: O3ClassFactory_tpl.h:853
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkLocalParent()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLocalParent ( const PRMClass< GUM_SCALAR > &  c,
const O3Label &  prnt 
)
private

Definition at line 650 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::PRMClassElementContainer< GUM_SCALAR >::exists(), gum::prm::PRMClass< GUM_SCALAR >::get(), and gum::prm::o3prm::O3Label::label().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParent().

651  {
652  if (!c.exists(prnt.label())) {
653  O3PRM_CLASS_PARENT_NOT_FOUND(prnt, *__errors);
654  return false;
655  }
656 
657  const auto& elt = c.get(prnt.label());
658  if (!(gum::prm::PRMClassElement< GUM_SCALAR >::isAttribute(elt)
659  || gum::prm::PRMClassElement< GUM_SCALAR >::isSlotChain(elt)
660  || gum::prm::PRMClassElement< GUM_SCALAR >::isAggregate(elt))) {
661  O3PRM_CLASS_ILLEGAL_PARENT(prnt, *__errors);
662  return false;
663  }
664 
665  return true;
666  }
gum::prm::PRMClassElement
Abstract class representing an element of PRM class.
Definition: PRMClassElement.h:61
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkO3Classes()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkO3Classes ( )
private

Definition at line 143 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddArcsToDag(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddNodesToDag().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildClasses().

143  {
144  return __checkAndAddNodesToDag() && __checkAndAddArcsToDag();
145  }
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkParametersNumber()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParametersNumber ( O3Aggregate &  agg,
Size  n 
)
private

Definition at line 1040 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3Aggregate::name(), and gum::prm::o3prm::O3Aggregate::parameters().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParameters().

1041  {
1042  if (agg.parameters().size() != n) {
1043  O3PRM_CLASS_AGG_PARAMETERS(
1044  agg.name(), Size(n), Size(agg.parameters().size()), *__errors);
1045  return false;
1046  }
1047 
1048  return true;
1049  }
gum::Size
std::size_t Size
In aGrUM, hashed values are unsigned long int.
Definition: types.h:48
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkParameterValue()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParameterValue ( O3Aggregate &  agg,
const gum::prm::PRMType &  t 
)
private

Definition at line 1052 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::DiscreteVariable::domainSize(), gum::DiscreteVariable::label(), gum::prm::o3prm::O3Aggregate::name(), gum::prm::o3prm::O3Aggregate::parameters(), and gum::prm::PRMType::variable().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParameters().

1053  {
1054  const auto& param = agg.parameters().front();
1055  bool found = false;
1056  for (Size idx = 0; idx < t.variable().domainSize(); ++idx) {
1057  if (t.variable().label(idx) == param.label()) {
1058  found = true;
1059  break;
1060  }
1061  }
1062 
1063  if (!found) {
1064  O3PRM_CLASS_AGG_PARAMETER_NOT_FOUND(agg.name(), param, *__errors);
1065  return false;
1066  }
1067 
1068  return true;
1069  }
gum::prm::PRMType::variable
DiscreteVariable & variable()
Return a reference on the DiscreteVariable contained in this.
Definition: PRMType_inl.h:45
gum::DiscreteVariable::domainSize
virtual Size domainSize() const =0
gum::DiscreteVariable::label
virtual std::string label(Idx i) const =0
get the indice-th label. This method is pure virtual.
gum::Size
std::size_t Size
In aGrUM, hashed values are unsigned long int.
Definition: types.h:48
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkParent()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParent ( const PRMClass< GUM_SCALAR > &  c,
const O3Label &  prnt 
)
private

Definition at line 639 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLocalParent(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRemoteParent(), and gum::prm::o3prm::O3Label::label().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForCompletion().

640  {
641  if (prnt.label().find('.') == std::string::npos) {
642  return __checkLocalParent(c, prnt);
643 
644  } else {
645  return __checkRemoteParent(c, prnt);
646  }
647  }
gum::prm::o3prm::O3ClassFactory::__checkLocalParent
bool __checkLocalParent(const PRMClass< GUM_SCALAR > &c, const O3Label &prnt)
Definition: O3ClassFactory_tpl.h:650
gum::prm::o3prm::O3ClassFactory::__checkRemoteParent
bool __checkRemoteParent(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &prnt)
Definition: O3ClassFactory_tpl.h:669
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkRawCPT()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRawCPT ( const PRMClass< GUM_SCALAR > &  c,
O3RawCPT &  attr 
)
private

Definition at line 781 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__resolveSlotChain(), gum::prm::PRMClass< GUM_SCALAR >::get(), gum::prm::o3prm::O3Label::label(), gum::prm::PRMObject::name(), gum::prm::o3prm::O3Attribute::name(), gum::prm::o3prm::O3Attribute::parents(), gum::prm::PRMClass< GUM_SCALAR >::scope(), gum::prm::o3prm::O3Attribute::type(), and gum::prm::o3prm::O3RawCPT::values().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForCompletion().

782  {
783  const auto& type = __prm->type(attr.type().label());
784 
785  auto domainSize = type->domainSize();
786  for (auto& prnt : attr.parents()) {
787  try {
788  domainSize *= c.get(prnt.label()).type()->domainSize();
789  } catch (NotFound&) {
790  // If we are here, all parents have been check so __resolveSlotChain
791  // will not raise an error and not return a nullptr
792  domainSize *= __resolveSlotChain(c, prnt)->type()->domainSize();
793  }
794  }
795 
796  // Check for CPT size
797  if (domainSize != attr.values().size()) {
798  O3PRM_CLASS_ILLEGAL_CPT_SIZE(c.name(),
799  attr.name(),
800  Size(attr.values().size()),
801  domainSize,
802  *__errors);
803  return false;
804  }
805 
806  // Add parameters to formulas
807  const auto& scope = c.scope();
808  for (auto& f : attr.values()) {
809  f.formula().variables().clear();
810 
811  for (const auto& values : scope) {
812  f.formula().variables().insert(values.first, values.second->value());
813  }
814  }
815 
816  // Check that CPT sums to 1
817  Size parent_size = domainSize / type->domainSize();
818  auto values = std::vector< GUM_SCALAR >(parent_size, 0.0f);
819 
820  for (std::size_t i = 0; i < attr.values().size(); ++i) {
821  try {
822  auto idx = i % parent_size;
823  auto val = (GUM_SCALAR)attr.values()[i].formula().result();
824  values[idx] += val;
825 
826  if (val < 0.0 || 1.0 < val) {
827  O3PRM_CLASS_ILLEGAL_CPT_VALUE(
828  c.name(), attr.name(), attr.values()[i], *__errors);
829  return false;
830  }
831  } catch (Exception&) {
832  O3PRM_CLASS_ILLEGAL_CPT_VALUE(
833  c.name(), attr.name(), attr.values()[i], *__errors);
834  return false;
835  }
836  }
837 
838  for (auto f : values) {
839  if (std::abs(f - GUM_SCALAR(1.0)) > 1.0e-3) {
840  O3PRM_CLASS_CPT_DOES_NOT_SUM_TO_1(
841  c.name(), attr.name(), float(f), *__errors);
842  return false;
843  } else if (std::abs(f - GUM_SCALAR(1.0)) > 1.0e-6) {
844  O3PRM_CLASS_CPT_DOES_NOT_SUM_TO_1_WARNING(
845  c.name(), attr.name(), float(f), *__errors);
846  }
847  }
848  return true;
849  }
gum::prm::o3prm::O3ClassFactory::__resolveSlotChain
const PRMClassElement< GUM_SCALAR > * __resolveSlotChain(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain)
Definition: O3ClassFactory_tpl.h:853
gum::Size
std::size_t Size
In aGrUM, hashed values are unsigned long int.
Definition: types.h:48
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkReferenceSlot()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkReferenceSlot ( O3Class &  c,
O3ReferenceSlot &  ref 
)
private

Definition at line 372 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver, gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3ReferenceSlot::name(), gum::prm::o3prm::O3Class::name(), and gum::prm::o3prm::O3ReferenceSlot::type().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__addReferenceSlots().

373  {
374  if (!__solver->resolveSlotType(ref.type())) { return false; }
375 
376  const auto& real_c = __prm->getClass(c.name().label());
377 
378  // Check for dupplicates
379  if (real_c.exists(ref.name().label())) {
380  const auto& elt = real_c.get(ref.name().label());
381 
382  if (PRMClassElement< GUM_SCALAR >::isReferenceSlot(elt)) {
383  auto slot_type = (PRMClassElementContainer< GUM_SCALAR >*)nullptr;
384 
385  if (__prm->isInterface(ref.type().label())) {
386  slot_type = &(__prm->getInterface(ref.type().label()));
387 
388  } else {
389  slot_type = &(__prm->getClass(ref.type().label()));
390  }
391 
392  auto real_ref =
393  static_cast< const PRMReferenceSlot< GUM_SCALAR >* >(&elt);
394 
395  if (slot_type->name() == real_ref->slotType().name()) {
396  O3PRM_CLASS_DUPLICATE_REFERENCE(ref.name(), *__errors);
397  return false;
398 
399  } else if (!slot_type->isSubTypeOf(real_ref->slotType())) {
400  O3PRM_CLASS_ILLEGAL_OVERLOAD(ref.name(), c.name(), *__errors);
401  return false;
402  }
403 
404  } else {
405  O3PRM_CLASS_DUPLICATE_REFERENCE(ref.name(), *__errors);
406  return false;
407  }
408  }
409 
410  // If class we need to check for illegal references
411  if (__prm->isClass(ref.type().label())) {
412  const auto& ref_type = __prm->getClass(ref.type().label());
413 
414  // No recursive reference
415  if ((&ref_type) == (&real_c)) {
416  O3PRM_CLASS_SELF_REFERENCE(c.name(), ref.name(), *__errors);
417  return false;
418  }
419 
420  // No reference to subclasses
421  if (ref_type.isSubTypeOf(real_c)) {
422  O3PRM_CLASS_ILLEGAL_SUB_REFERENCE(c.name(), ref.type(), *__errors);
423  return false;
424  }
425  }
426 
427  return true;
428  }
gum::prm::PRMClassElement::isReferenceSlot
static INLINE bool isReferenceSlot(const PRMClassElement< GUM_SCALAR > &elt)
Returns true if obj_ptr is of type PRMReferenceSlot.
Definition: PRMClassElement.h:121
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkRemoteParent()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRemoteParent ( const PRMClassElementContainer< GUM_SCALAR > &  c,
const O3Label &  prnt 
)
private

Definition at line 669 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__resolveSlotChain().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParent().

670  {
671  if (__resolveSlotChain(c, prnt) == nullptr) { return false; }
672  return true;
673  }
gum::prm::o3prm::O3ClassFactory::__resolveSlotChain
const PRMClassElement< GUM_SCALAR > * __resolveSlotChain(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain)
Definition: O3ClassFactory_tpl.h:853
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkRuleCPT()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPT ( const PRMClass< GUM_SCALAR > &  c,
O3RuleCPT &  attr 
)
private

Definition at line 761 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__addParamsToForms(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLabelsNumber(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLabelsValues(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPTSumsTo1(), GUM_SHOWERROR, gum::prm::o3prm::O3RuleCPT::rules(), and gum::prm::PRMClass< GUM_SCALAR >::scope().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForCompletion().

762  {
763  const auto& scope = c.scope();
764  bool errors = false;
765  for (auto& rule : attr.rules()) {
766  try {
767  if (!__checkLabelsNumber(attr, rule)) { errors = true; }
768  if (!__checkLabelsValues(c, attr, rule)) { errors = true; }
769  __addParamsToForms(scope, rule);
770  if (!__checkRuleCPTSumsTo1(c, attr, rule)) { errors = true; }
771  } catch (Exception& e) {
772  GUM_SHOWERROR(e);
773  errors = true;
774  }
775  }
776 
777  return errors == false;
778  }
gum::prm::o3prm::O3ClassFactory::__checkLabelsValues
bool __checkLabelsValues(const PRMClass< GUM_SCALAR > &c, const O3RuleCPT &attr, const O3RuleCPT::O3Rule &rule)
Definition: O3ClassFactory_tpl.h:688
gum::prm::o3prm::O3ClassFactory::__addParamsToForms
void __addParamsToForms(const HashTable< std::string, const PRMParameter< GUM_SCALAR > * > &scope, O3RuleCPT::O3Rule &rule)
Definition: O3ClassFactory_tpl.h:713
GUM_SHOWERROR
#define GUM_SHOWERROR(e)
Definition: exceptions.h:61
gum::prm::o3prm::O3ClassFactory::__checkLabelsNumber
bool __checkLabelsNumber(const O3RuleCPT &attr, const O3RuleCPT::O3Rule &rule)
Definition: O3ClassFactory_tpl.h:676
gum::prm::o3prm::O3ClassFactory::__checkRuleCPTSumsTo1
bool __checkRuleCPTSumsTo1(const PRMClass< GUM_SCALAR > &c, const O3RuleCPT &attr, const O3RuleCPT::O3Rule &rule)
Definition: O3ClassFactory_tpl.h:727
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkRuleCPTSumsTo1()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPTSumsTo1 ( const PRMClass< GUM_SCALAR > &  c,
const O3RuleCPT &  attr,
const O3RuleCPT::O3Rule &  rule 
)
private

Definition at line 727 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::PRMObject::name(), and gum::prm::o3prm::O3Attribute::name().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPT().

730  {
731  bool errors = false;
732  // Check that formulas are valid and sums to 1
733  GUM_SCALAR sum = 0.0;
734  for (const auto& f : rule.second) {
735  try {
736  auto value = GUM_SCALAR(f.formula().result());
737  sum += value;
738  if (value < 0.0 || 1.0 < value) {
739  O3PRM_CLASS_ILLEGAL_CPT_VALUE(c.name(), attr.name(), f, *__errors);
740  errors = true;
741  }
742  } catch (OperationNotAllowed&) {
743  O3PRM_CLASS_ILLEGAL_CPT_VALUE(c.name(), attr.name(), f, *__errors);
744  errors = true;
745  }
746  }
747 
748  // Check that CPT sums to 1
749  if (std::abs(sum - 1.0) > 1e-3) {
750  O3PRM_CLASS_CPT_DOES_NOT_SUM_TO_1(
751  c.name(), attr.name(), float(sum), *__errors);
752  errors = true;
753  } else if (std::abs(sum - 1.0f) > 1e-6) {
754  O3PRM_CLASS_CPT_DOES_NOT_SUM_TO_1_WARNING(
755  c.name(), attr.name(), float(sum), *__errors);
756  }
757  return errors == false;
758  }
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __checkSlotChainLink()

template<typename GUM_SCALAR >
INLINE bool gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkSlotChainLink ( const PRMClassElementContainer< GUM_SCALAR > &  c,
const O3Label &  chain,
const std::string &  s 
)
private

Definition at line 891 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, and gum::prm::PRMClassElementContainer< GUM_SCALAR >::exists().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__resolveSlotChain().

894  {
895  if (!c.exists(s)) {
896  O3PRM_CLASS_LINK_NOT_FOUND(chain, s, *__errors);
897  return false;
898  }
899  return true;
900  }
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __completeAggregates()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__completeAggregates ( PRMFactory< GUM_SCALAR > &  factory,
O3Class &  c 
)
private

Definition at line 545 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggregateForCompletion(), gum::prm::PRMFactory< GUM_SCALAR >::addParent(), gum::prm::o3prm::O3Class::aggregates(), gum::prm::PRMFactory< GUM_SCALAR >::continueAggregator(), and gum::prm::PRMFactory< GUM_SCALAR >::endAggregator().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::completeAggregates().

546  {
547  // Attributes
548  for (auto& agg : c.aggregates()) {
549  if (__checkAggregateForCompletion(c, agg)) {
550  factory.continueAggregator(agg.name().label());
551 
552  for (const auto& parent : agg.parents()) {
553  factory.addParent(parent.label());
554  }
555 
556  factory.endAggregator();
557  }
558  }
559  }
gum::prm::o3prm::O3ClassFactory::__checkAggregateForCompletion
bool __checkAggregateForCompletion(O3Class &o3class, O3Aggregate &agg)
Definition: O3ClassFactory_tpl.h:562
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __completeAttribute()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__completeAttribute ( PRMFactory< GUM_SCALAR > &  factory,
O3Class &  c 
)
private

Definition at line 575 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForCompletion(), gum::prm::PRMFactory< GUM_SCALAR >::addParent(), gum::prm::o3prm::O3Class::attributes(), gum::prm::PRMFactory< GUM_SCALAR >::continueAttribute(), gum::prm::PRMFactory< GUM_SCALAR >::endAttribute(), gum::prm::PRMFactory< GUM_SCALAR >::setCPFByRule(), and gum::prm::PRMFactory< GUM_SCALAR >::setRawCPFByColumns().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::completeAttributes().

576  {
577  // Attributes
578  for (auto& attr : c.attributes()) {
579  if (__checkAttributeForCompletion(c, *attr)) {
580  factory.continueAttribute(attr->name().label());
581 
582  for (const auto& parent : attr->parents()) {
583  factory.addParent(parent.label());
584  }
585 
586  auto raw = dynamic_cast< const O3RawCPT* >(attr.get());
587 
588  if (raw) {
589  auto values = std::vector< std::string >();
590  for (const auto& val : raw->values()) {
591  values.push_back(val.formula().formula());
592  }
593  factory.setRawCPFByColumns(values);
594  }
595 
596  auto rule_cpt = dynamic_cast< const O3RuleCPT* >(attr.get());
597  if (rule_cpt) {
598  for (const auto& rule : rule_cpt->rules()) {
599  auto labels = std::vector< std::string >();
600  auto values = std::vector< std::string >();
601 
602  for (const auto& lbl : rule.first) {
603  labels.push_back(lbl.label());
604  }
605 
606  for (const auto& form : rule.second) {
607  values.push_back(form.formula().formula());
608  }
609 
610  factory.setCPFByRule(labels, values);
611  }
612  }
613 
614  factory.endAttribute();
615  }
616  }
617  }
gum::prm::o3prm::O3ClassFactory::__checkAttributeForCompletion
bool __checkAttributeForCompletion(const O3Class &o3_c, O3Attribute &attr)
Definition: O3ClassFactory_tpl.h:620
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __declareAggregates()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__declareAggregates ( O3Class &  c)
private

Definition at line 903 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggregateForDeclaration(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3Class::aggregates(), gum::prm::PRMFactory< GUM_SCALAR >::continueClass(), gum::prm::PRMFactory< GUM_SCALAR >::endAggregator(), gum::prm::PRMFactory< GUM_SCALAR >::endClass(), gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Class::name(), and gum::prm::PRMFactory< GUM_SCALAR >::startAggregator().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::declareAggregates().

903  {
904  PRMFactory< GUM_SCALAR > factory(__prm);
905  factory.continueClass(c.name().label());
906 
907  for (auto& agg : c.aggregates()) {
908  if (__checkAggregateForDeclaration(c, agg)) {
909  auto params = std::vector< std::string >();
910  for (auto& p : agg.parameters()) {
911  params.push_back(p.label());
912  }
913 
914  factory.startAggregator(agg.name().label(),
915  agg.aggregateType().label(),
916  agg.variableType().label(),
917  params);
918  factory.endAggregator();
919  }
920  }
921 
922  factory.endClass(false);
923  }
gum::prm::o3prm::O3ClassFactory::__checkAggregateForDeclaration
bool __checkAggregateForDeclaration(O3Class &o3class, O3Aggregate &agg)
Definition: O3ClassFactory_tpl.h:926
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __declareAttribute()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__declareAttribute ( O3Class &  c)
private

Definition at line 449 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForDeclaration(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3Class::attributes(), gum::prm::PRMFactory< GUM_SCALAR >::continueClass(), gum::prm::PRMFactory< GUM_SCALAR >::endAttribute(), gum::prm::PRMFactory< GUM_SCALAR >::endClass(), gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Class::name(), and gum::prm::PRMFactory< GUM_SCALAR >::startAttribute().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::declareAttributes().

449  {
450  PRMFactory< GUM_SCALAR > factory(__prm);
451  factory.continueClass(c.name().label());
452 
453  for (auto& attr : c.attributes()) {
454  if (__checkAttributeForDeclaration(c, *attr)) {
455  factory.startAttribute(attr->type().label(), attr->name().label());
456  factory.endAttribute();
457  }
458  }
459 
460  factory.endClass(false);
461  }
gum::prm::o3prm::O3ClassFactory::__checkAttributeForDeclaration
bool __checkAttributeForDeclaration(O3Class &o3_c, O3Attribute &attr)
Definition: O3ClassFactory_tpl.h:464
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __resolveSlotChain()

template<typename GUM_SCALAR >
INLINE const PRMClassElement< GUM_SCALAR > * gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__resolveSlotChain ( const PRMClassElementContainer< GUM_SCALAR > &  c,
const O3Label &  chain 
)
private

Definition at line 853 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkSlotChainLink(), gum::prm::decomposePath(), and gum::prm::o3prm::O3Label::label().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParents(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLabelsValues(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRawCPT(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRemoteParent().

855  {
856  auto s = chain.label();
857  auto current = &c;
858  std::vector< std::string > v;
859 
860  decomposePath(chain.label(), v);
861 
862  for (size_t i = 0; i < v.size(); ++i) {
863  auto link = v[i];
864 
865  if (!__checkSlotChainLink(*current, chain, link)) { return nullptr; }
866 
867  auto elt = &(current->get(link));
868 
869  if (i == v.size() - 1) {
870  // last link, should be an attribute or aggregate
871  return elt;
872 
873  } else {
874  // should be a reference slot
875 
876  auto ref = dynamic_cast< const PRMReferenceSlot< GUM_SCALAR >* >(elt);
877  if (ref) {
878  current = &(ref->slotType());
879  } else {
880  return nullptr; // failsafe to prevent infinite loop
881  }
882  }
883  }
884 
885  // Encountered only reference slots
886 
887  return nullptr;
888  }
gum::prm::o3prm::O3ClassFactory::__checkSlotChainLink
bool __checkSlotChainLink(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain, const std::string &s)
Definition: O3ClassFactory_tpl.h:891
gum::prm::decomposePath
void decomposePath(const std::string &path, std::vector< std::string > &v)
Decompose a string in a vector of strings using "." as separators.
Definition: utils_prm.cpp:29
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ __setO3ClassCreationOrder()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__setO3ClassCreationOrder ( )
private

Definition at line 134 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__dag, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nodeMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, and gum::DiGraph::topologicalOrder().

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildClasses().

134  {
135  auto topo_order = __dag.topologicalOrder();
136 
137  for (auto id = topo_order.rbegin(); id != topo_order.rend(); --id) {
138  __o3Classes.push_back(__nodeMap[*id]);
139  }
140  }
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:98
gum::DiGraph::topologicalOrder
const Sequence< NodeId > & topologicalOrder(bool clear=true) const
The topological order stays the same as long as no variable or arcs are added or erased src the topol...
Definition: diGraph.cpp:91
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ buildClasses()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildClasses ( )

Definition at line 109 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkO3Classes(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__setO3ClassCreationOrder(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver, gum::prm::PRMFactory< GUM_SCALAR >::endClass(), gum::Set< Key, Alloc >::insert(), and gum::prm::PRMFactory< GUM_SCALAR >::startClass().

109  {
110  PRMFactory< GUM_SCALAR > factory(__prm);
111 
112  // Class with a super class must be declared after
113  if (__checkO3Classes()) {
114  __setO3ClassCreationOrder();
115 
116  for (auto c : __o3Classes) {
117  // Soving interfaces
118  auto implements = Set< std::string >();
119  for (auto& i : c->interfaces()) {
120  if (__solver->resolveInterface(i)) { implements.insert(i.label()); }
121  }
122 
123  // Adding the class
124  if (__solver->resolveClass(c->superLabel())) {
125  factory.startClass(
126  c->name().label(), c->superLabel().label(), &implements, true);
127  factory.endClass(false);
128  }
129  }
130  }
131  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
gum::Set::insert
void insert(const Key &k)
Inserts a new element into the set.
Definition: set_tpl.h:613
+ Here is the call graph for this function:

◆ buildImplementations()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildImplementations ( )

Definition at line 189 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkImplementation(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3_prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, and gum::prm::o3prm::O3PRM::classes().

189  {
190  for (auto& c : __o3_prm->classes()) {
191  if (__checkImplementation(*c)) {
192  __prm->getClass(c->name().label()).initializeInheritance();
193  }
194  }
195  }
gum::prm::o3prm::O3PRM::classes
O3ClassList & classes()
Definition: O3prm.cpp:503
+ Here is the call graph for this function:

◆ buildParameters()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildParameters ( )

Definition at line 308 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__addParameters(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::PRMFactory< GUM_SCALAR >::continueClass(), gum::prm::PRMFactory< GUM_SCALAR >::endClass(), gum::prm::o3prm::O3Label::label(), and gum::prm::o3prm::O3Class::name().

308  {
309  PRMFactory< GUM_SCALAR > factory(__prm);
310  // Class with a super class must be declared after
311  for (auto c : __o3Classes) {
312  __prm->getClass(c->name().label()).inheritParameters();
313 
314  factory.continueClass(c->name().label());
315 
316  __addParameters(factory, *c);
317 
318  factory.endClass(false);
319  }
320  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
gum::prm::o3prm::O3ClassFactory::__addParameters
void __addParameters(PRMFactory< GUM_SCALAR > &factory, O3Class &c)
Definition: O3ClassFactory_tpl.h:323
+ Here is the call graph for this function:

◆ buildReferenceSlots()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildReferenceSlots ( )

Definition at line 345 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__addReferenceSlots(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3Label::label(), and gum::prm::o3prm::O3Class::name().

345  {
346  // Class with a super class must be declared after
347  for (auto c : __o3Classes) {
348  __prm->getClass(c->name().label()).inheritReferenceSlots();
349  __addReferenceSlots(*c);
350  }
351  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
+ Here is the call graph for this function:

◆ completeAggregates()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::completeAggregates ( )

Definition at line 531 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__completeAggregates(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::PRMFactory< GUM_SCALAR >::continueClass(), gum::prm::PRMFactory< GUM_SCALAR >::endClass(), gum::prm::o3prm::O3Label::label(), and gum::prm::o3prm::O3Class::name().

531  {
532  PRMFactory< GUM_SCALAR > factory(__prm);
533 
534  // Class with a super class must be declared in order
535  for (auto c : __o3Classes) {
536  factory.continueClass(c->name().label());
537 
538  __completeAggregates(factory, *c);
539 
540  factory.endClass(false);
541  }
542  }
gum::prm::o3prm::O3ClassFactory::__completeAggregates
void __completeAggregates(PRMFactory< GUM_SCALAR > &factory, O3Class &c)
Definition: O3ClassFactory_tpl.h:545
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
+ Here is the call graph for this function:

◆ completeAttributes()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::completeAttributes ( )

Definition at line 487 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__completeAttribute(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3Class::aggregates(), gum::prm::o3prm::O3Class::attributes(), gum::prm::PRMFactory< GUM_SCALAR >::continueClass(), gum::prm::PRMFactory< GUM_SCALAR >::endClass(), gum::Set< Key, Alloc >::insert(), gum::prm::o3prm::O3Label::label(), gum::prm::o3prm::O3Class::name(), and gum::prm::o3prm::O3Class::superLabel().

487  {
488  PRMFactory< GUM_SCALAR > factory(__prm);
489 
490  // Class with a super class must be declared in order
491  for (auto c : __o3Classes) {
492  __prm->getClass(c->name().label()).inheritSlotChains();
493  factory.continueClass(c->name().label());
494 
495  __completeAttribute(factory, *c);
496 
497  if (c->superLabel().label() != "") {
498  auto& super = __prm->getClass(c->superLabel().label());
499  auto to_complete = Set< std::string >();
500 
501  for (auto a : super.attributes()) {
502  to_complete.insert(a->safeName());
503  }
504 
505  for (auto a : super.aggregates()) {
506  to_complete.insert(a->safeName());
507  }
508 
509  for (auto& a : c->attributes()) {
510  to_complete.erase(__prm->getClass(c->name().label())
511  .get(a->name().label())
512  .safeName());
513  }
514 
515  for (auto& a : c->aggregates()) {
516  to_complete.erase(__prm->getClass(c->name().label())
517  .get(a.name().label())
518  .safeName());
519  }
520 
521  for (auto a : to_complete) {
522  __prm->getClass(c->name().label()).completeInheritance(a);
523  }
524  }
525 
526  factory.endClass(true);
527  }
528  }
gum::prm::o3prm::O3ClassFactory::__completeAttribute
void __completeAttribute(PRMFactory< GUM_SCALAR > &factory, O3Class &c)
Definition: O3ClassFactory_tpl.h:575
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
gum::Set::insert
void insert(const Key &k)
Inserts a new element into the set.
Definition: set_tpl.h:613
+ Here is the call graph for this function:

◆ declareAggregates()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::declareAggregates ( )

Definition at line 440 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__declareAggregates(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3Label::label(), and gum::prm::o3prm::O3Class::name().

440  {
441  // Class with a super class must be declared after
442  for (auto c : __o3Classes) {
443  __prm->getClass(c->name().label()).inheritAggregates();
444  __declareAggregates(*c);
445  }
446  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
+ Here is the call graph for this function:

◆ declareAttributes()

template<typename GUM_SCALAR >
INLINE void gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::declareAttributes ( )

Definition at line 431 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__declareAttribute(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, gum::prm::o3prm::O3Label::label(), and gum::prm::o3prm::O3Class::name().

431  {
432  // Class with a super class must be declared after
433  for (auto c : __o3Classes) {
434  __prm->getClass(c->name().label()).inheritAttributes();
435  __declareAttribute(*c);
436  }
437  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
+ Here is the call graph for this function:

◆ operator=() [1/2]

template<typename GUM_SCALAR >
INLINE O3ClassFactory< GUM_SCALAR > & gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator= ( const O3ClassFactory< GUM_SCALAR > &  src)

Definition at line 78 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__classMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__dag, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nameMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nodeMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3_prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::~O3ClassFactory().

78  {
79  if (this == &src) { return *this; }
80  __prm = src.__prm;
81  __o3_prm = src.__o3_prm;
82  __solver = src.__solver;
83  __errors = src.__errors;
84  __nameMap = src.__nameMap;
85  __classMap = src.__classMap;
86  __nodeMap = src.__nodeMap;
87  __dag = src.__dag;
88  __o3Classes = src.__o3Classes;
89  return *this;
90  }
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:96
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:98
gum::prm::o3prm::O3ClassFactory::__classMap
HashTable< std::string, O3Class *> __classMap
Definition: O3ClassFactory.h:97
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93
+ Here is the caller graph for this function:

◆ operator=() [2/2]

template<typename GUM_SCALAR >
INLINE O3ClassFactory< GUM_SCALAR > & gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator= ( O3ClassFactory< GUM_SCALAR > &&  src)

Definition at line 94 of file O3ClassFactory_tpl.h.

References gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__classMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__dag, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nameMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nodeMap, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3_prm, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes, gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm, and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver.

94  {
95  if (this == &src) { return *this; }
96  __prm = std::move(src.__prm);
97  __o3_prm = std::move(src.__o3_prm);
98  __solver = std::move(src.__solver);
99  __errors = std::move(src.__errors);
100  __nameMap = std::move(src.__nameMap);
101  __classMap = std::move(src.__classMap);
102  __nodeMap = std::move(src.__nodeMap);
103  __dag = std::move(src.__dag);
104  __o3Classes = std::move(src.__o3Classes);
105  return *this;
106  }
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:96
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:98
gum::prm::o3prm::O3ClassFactory::__classMap
HashTable< std::string, O3Class *> __classMap
Definition: O3ClassFactory.h:97
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:100
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:93

Member Data Documentation

◆ __classMap

template<typename GUM_SCALAR>
HashTable< std::string, O3Class* > gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__classMap
private

Definition at line 97 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddNodesToDag(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

◆ __dag

template<typename GUM_SCALAR>
DAG gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__dag
private

Definition at line 99 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddArcsToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddNodesToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__setO3ClassCreationOrder(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

◆ __errors

template<typename GUM_SCALAR>
ErrorsContainer* gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__errors
private

Definition at line 94 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParents(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggTypeLegality(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddArcsToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddNodesToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForDeclaration(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkImplementation(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLabelsNumber(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLabelsValues(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkLocalParent(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParametersNumber(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkParameterValue(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRawCPT(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkReferenceSlot(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRuleCPTSumsTo1(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkSlotChainLink(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

◆ __nameMap

template<typename GUM_SCALAR>
HashTable< std::string, gum::NodeId > gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nameMap
private

Definition at line 96 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddArcsToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddNodesToDag(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

◆ __nodeMap

template<typename GUM_SCALAR>
HashTable< NodeId, O3Class* > gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__nodeMap
private

Definition at line 98 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddNodesToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__setO3ClassCreationOrder(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

◆ __o3_prm

template<typename GUM_SCALAR>
O3PRM* gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3_prm
private

Definition at line 92 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddArcsToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddNodesToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildImplementations(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

◆ __o3Classes

template<typename GUM_SCALAR>
std::vector< O3Class* > gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__o3Classes
private

Definition at line 100 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__setO3ClassCreationOrder(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildClasses(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildParameters(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildReferenceSlots(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::completeAggregates(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::completeAttributes(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::declareAggregates(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::declareAttributes(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

◆ __prm

template<typename GUM_SCALAR>
PRM< GUM_SCALAR >* gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__prm
private

Definition at line 91 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__addReferenceSlots(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggParents(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggTypeLegality(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForCompletion(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForDeclaration(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkImplementation(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkRawCPT(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkReferenceSlot(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__declareAggregates(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__declareAttribute(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildClasses(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildImplementations(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildParameters(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildReferenceSlots(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::completeAggregates(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::completeAttributes(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::declareAggregates(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::declareAttributes(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

◆ __solver

template<typename GUM_SCALAR>
O3NameSolver< GUM_SCALAR >* gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__solver
private

Definition at line 93 of file O3ClassFactory.h.

Referenced by gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAggregateForDeclaration(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAndAddArcsToDag(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkAttributeForDeclaration(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkImplementation(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::__checkReferenceSlot(), gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::buildClasses(), and gum::prm::o3prm::O3ClassFactory< GUM_SCALAR >::operator=().

The documentation for this class was generated from the following files:
aGrUM 0.16.0
Tue Aug 27 2019 12:07:33
© CG&PHW&others - LIP6 2005-2007-2012
DoXyGeN 1.8.13