aGrUM  0.14.2
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 57 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 36 of file O3ClassFactory_tpl.h.

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

◆ O3ClassFactory() [2/3]

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

Definition at line 47 of file O3ClassFactory_tpl.h.

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

◆ O3ClassFactory() [3/3]

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

Definition at line 58 of file O3ClassFactory_tpl.h.

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

◆ ~O3ClassFactory()

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

Definition at line 70 of file O3ClassFactory_tpl.h.

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

70  {
71  GUM_DESTRUCTOR(O3ClassFactory);
72  }
gum::prm::o3prm::O3ClassFactory::O3ClassFactory
O3ClassFactory(PRM< GUM_SCALAR > &prm, O3PRM &o3_prm, O3NameSolver< GUM_SCALAR > &solver, ErrorsContainer &errors)
Definition: O3ClassFactory_tpl.h:36
+ 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 321 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().

322  {
323  for (auto& p : c.parameters()) {
324  switch (p.type()) {
325  case O3Parameter::PRMType::INT: {
326  factory.addParameter("int", p.name().label(), p.value().value());
327  break;
328  }
329 
330  case O3Parameter::PRMType::FLOAT: {
331  factory.addParameter("real", p.name().label(), p.value().value());
332  break;
333  }
334 
335  default: { GUM_ERROR(FatalError, "unknown O3Parameter type"); }
336  }
337  }
338  }
GUM_ERROR
#define GUM_ERROR(type, msg)
Definition: exceptions.h:52
+ 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 709 of file O3ClassFactory_tpl.h.

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

711  {
712  // Add parameters to formulas
713  for (auto& f : rule.second) {
714  f.formula().variables().clear();
715  for (const auto& values : scope) {
716  f.formula().variables().insert(values.first, values.second->value());
717  }
718  }
719  }
+ 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 350 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().

350  {
351  PRMFactory< GUM_SCALAR > factory(__prm);
352 
353  factory.continueClass(c.name().label());
354 
355  // References
356  for (auto& ref : c.referenceSlots()) {
357  if (__checkReferenceSlot(c, ref)) {
358  factory.addReferenceSlot(
359  ref.type().label(), ref.name().label(), ref.isArray());
360  }
361  }
362 
363  factory.endClass(false);
364  }
gum::prm::o3prm::O3ClassFactory::__checkReferenceSlot
bool __checkReferenceSlot(O3Class &c, O3ReferenceSlot &ref)
Definition: O3ClassFactory_tpl.h:368
+ 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 987 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().

988  {
989  bool ok = false;
990 
991  switch (gum::prm::PRMAggregate< GUM_SCALAR >::str2enum(
992  agg.aggregateType().label())) {
993  case PRMAggregate< GUM_SCALAR >::AggregateType::MIN:
994  case PRMAggregate< GUM_SCALAR >::AggregateType::MAX:
995  case PRMAggregate< GUM_SCALAR >::AggregateType::AMPLITUDE:
996  case PRMAggregate< GUM_SCALAR >::AggregateType::MEDIAN:
997  case PRMAggregate< GUM_SCALAR >::AggregateType::OR:
998  case PRMAggregate< GUM_SCALAR >::AggregateType::AND: {
999  ok = __checkParametersNumber(agg, 0);
1000  break;
1001  }
1002 
1003  case PRMAggregate< GUM_SCALAR >::AggregateType::FORALL:
1004  case PRMAggregate< GUM_SCALAR >::AggregateType::EXISTS:
1005  case PRMAggregate< GUM_SCALAR >::AggregateType::COUNT: {
1006  ok = __checkParametersNumber(agg, 1);
1007  break;
1008  }
1009 
1010  default: { GUM_ERROR(FatalError, "unknown aggregate type"); }
1011  }
1012 
1013  if (!ok) { return false; }
1014 
1015  // Checking parameters type
1016  switch (gum::prm::PRMAggregate< GUM_SCALAR >::str2enum(
1017  agg.aggregateType().label())) {
1018  case PRMAggregate< GUM_SCALAR >::AggregateType::FORALL:
1019  case PRMAggregate< GUM_SCALAR >::AggregateType::EXISTS:
1020  case PRMAggregate< GUM_SCALAR >::AggregateType::COUNT: {
1021  ok = __checkParameterValue(agg, *t);
1022  break;
1023  }
1024 
1025  default: { /* Nothing to do */
1026  }
1027  }
1028 
1029  return ok;
1030  }
gum::prm::o3prm::O3ClassFactory::__checkParameterValue
bool __checkParameterValue(O3Aggregate &agg, const gum::prm::PRMType &t)
Definition: O3ClassFactory_tpl.h:1046
gum::prm::o3prm::O3ClassFactory::__checkParametersNumber
bool __checkParametersNumber(O3Aggregate &agg, Size n)
Definition: O3ClassFactory_tpl.h:1034
GUM_ERROR
#define GUM_ERROR(type, msg)
Definition: exceptions.h:52
+ 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 934 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().

935  {
936  const auto& c = __prm->getClass(o3class.name().label());
937  auto t = (const PRMType*)nullptr;
938 
939  for (const auto& prnt : agg.parents()) {
940  auto elt = __resolveSlotChain(c, prnt);
941 
942  if (elt == nullptr) {
943  O3PRM_CLASS_PARENT_NOT_FOUND(prnt, *__errors);
944  return nullptr;
945 
946  } else {
947  if (t == nullptr) {
948  try {
949  t = &(elt->type());
950 
951  } catch (OperationNotAllowed&) {
952  O3PRM_CLASS_WRONG_PARENT(prnt, *__errors);
953  return nullptr;
954  }
955 
956  } else if ((*t) != elt->type()) {
957  // Wront type in chain
958  O3PRM_CLASS_WRONG_PARENT_TYPE(
959  prnt, t->name(), elt->type().name(), *__errors);
960  return nullptr;
961  }
962  }
963  }
964  return t;
965  }
gum::prm::o3prm::O3ClassFactory::__resolveSlotChain
const PRMClassElement< GUM_SCALAR > * __resolveSlotChain(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain)
Definition: O3ClassFactory_tpl.h:849
+ 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 558 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().

559  {
560  // Checking parents
561  auto t = __checkAggParents(c, agg);
562  if (t == nullptr) { return false; }
563 
564  // Checking parameters numbers
565  if (!__checkAggParameters(c, agg, t)) { return false; }
566 
567  return true;
568  }
gum::prm::o3prm::O3ClassFactory::__checkAggParameters
bool __checkAggParameters(O3Class &o3class, O3Aggregate &agg, const PRMType *t)
Definition: O3ClassFactory_tpl.h:987
gum::prm::o3prm::O3ClassFactory::__checkAggParents
const PRMType * __checkAggParents(O3Class &o3class, O3Aggregate &agg)
Definition: O3ClassFactory_tpl.h:934
+ 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 922 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().

923  {
924  if (!__solver->resolveType(agg.variableType())) { return false; }
925 
926  // Checking type legality if overload
927  if (!__checkAggTypeLegality(o3class, agg)) { return false; }
928 
929  return true;
930  }
gum::prm::o3prm::O3ClassFactory::__checkAggTypeLegality
bool __checkAggTypeLegality(O3Class &o3class, O3Aggregate &agg)
Definition: O3ClassFactory_tpl.h:969
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:91
+ 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 969 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().

970  {
971  if (__prm->isClass(o3class.superLabel().label())) {
972  const auto& super = __prm->getClass(o3class.superLabel().label());
973  const auto& agg_type = __prm->type(agg.variableType().label());
974 
975  if (super.exists(agg.name().label())
976  && !agg_type.isSubTypeOf(super.get(agg.name().label()).type())) {
977  O3PRM_CLASS_ILLEGAL_OVERLOAD(
978  agg.name(), o3class.superLabel(), *__errors);
979  return false;
980  }
981  }
982 
983  return true;
984  }
+ 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 165 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().

165  {
166  for (auto& c : __o3_prm->classes()) {
167  if (c->superLabel().label() != "") {
168  if (!__solver->resolveClass(c->superLabel())) { return false; }
169 
170  auto head = __nameMap[c->superLabel().label()];
171  auto tail = __nameMap[c->name().label()];
172 
173  try {
174  __dag.addArc(tail, head);
175  } catch (InvalidDirectedCycle&) {
176  // Cyclic inheritance
177  O3PRM_CLASS_CYLIC_INHERITANCE(c->name(), c->superLabel(), *__errors);
178  return false;
179  }
180  }
181  }
182 
183  return true;
184  }
gum::prm::o3prm::O3PRM::classes
O3ClassList & classes()
Definition: O3prm.cpp:501
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:94
gum::DAG::addArc
virtual void addArc(const NodeId tail, const NodeId head)
insert a new arc into the directed graph
Definition: DAG_inl.h:40
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:91
+ 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 146 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().

146  {
147  for (auto& c : __o3_prm->classes()) {
148  auto id = __dag.addNode();
149 
150  try {
151  __nameMap.insert(c->name().label(), id);
152  __classMap.insert(c->name().label(), c.get());
153  __nodeMap.insert(id, c.get());
154 
155  } catch (DuplicateElement&) {
156  O3PRM_CLASS_DUPLICATE(c->name(), *__errors);
157  return false;
158  }
159  }
160 
161  return true;
162  }
gum::prm::o3prm::O3PRM::classes
O3ClassList & classes()
Definition: O3prm.cpp:501
gum::NodeGraphPart::addNode
virtual NodeId addNode()
insert a new node and return its id
Definition: nodeGraphPart_inl.h:250
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:94
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:96
gum::prm::o3prm::O3ClassFactory::__classMap
HashTable< std::string, O3Class *> __classMap
Definition: O3ClassFactory.h:95
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:874
+ 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 616 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().

617  {
618  // Check for parents existence
619  const auto& c = __prm->getClass(o3_c.name().label());
620  for (auto& prnt : attr.parents()) {
621  if (!__checkParent(c, prnt)) { return false; }
622  }
623 
624  // Check that CPT sums to 1
625  auto raw = dynamic_cast< O3RawCPT* >(&attr);
626  if (raw) { return __checkRawCPT(c, *raw); }
627 
628  auto rule = dynamic_cast< O3RuleCPT* >(&attr);
629  if (rule) { return __checkRuleCPT(c, *rule); }
630 
631  return true;
632  }
gum::prm::o3prm::O3ClassFactory::__checkRawCPT
bool __checkRawCPT(const PRMClass< GUM_SCALAR > &c, O3RawCPT &attr)
Definition: O3ClassFactory_tpl.h:777
gum::prm::o3prm::O3ClassFactory::__checkParent
bool __checkParent(const PRMClass< GUM_SCALAR > &c, const O3Label &prnt)
Definition: O3ClassFactory_tpl.h:635
gum::prm::o3prm::O3ClassFactory::__checkRuleCPT
bool __checkRuleCPT(const PRMClass< GUM_SCALAR > &c, O3RuleCPT &attr)
Definition: O3ClassFactory_tpl.h:757
+ 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 460 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().

461  {
462  // Check type
463  if (!__solver->resolveType(attr.type())) { return false; }
464 
465  // Checking type legality if overload
466  if (c.superLabel().label() != "") {
467  const auto& super = __prm->getClass(c.superLabel().label());
468 
469  if (!super.exists(attr.name().label())) { return true; }
470 
471  const auto& super_type = super.get(attr.name().label()).type();
472  const auto& type = __prm->type(attr.type().label());
473 
474  if (!type.isSubTypeOf(super_type)) {
475  O3PRM_CLASS_ILLEGAL_OVERLOAD(attr.name(), c.superLabel(), *__errors);
476  return false;
477  }
478  }
479  return true;
480  }
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:91
+ 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 200 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().

200  {
201  // Saving attributes names for fast lookup
202  auto attr_map = AttrMap();
203  for (auto& a : c.attributes()) {
204  attr_map.insert(a->name().label(), a.get());
205  }
206 
207  // Saving aggregates names for fast lookup
208  auto agg_map = AggMap();
209  for (auto& agg : c.aggregates()) {
210  agg_map.insert(agg.name().label(), &agg);
211  }
212 
213  auto ref_map = RefMap();
214  for (auto& ref : c.referenceSlots()) {
215  ref_map.insert(ref.name().label(), &ref);
216  }
217 
218  // Cheking interface implementation
219  for (auto& i : c.interfaces()) {
220  if (__solver->resolveInterface(i)) {
221  if (!__checkImplementation(c, i, attr_map, agg_map, ref_map)) {
222  return false;
223  }
224  }
225  }
226 
227  return true;
228  }
gum::prm::o3prm::AttrMap
HashTable< std::string, O3Attribute *> AttrMap
Definition: O3ClassFactory_tpl.h:195
gum::prm::o3prm::AggMap
HashTable< std::string, O3Aggregate *> AggMap
Definition: O3ClassFactory_tpl.h:197
gum::prm::o3prm::RefMap
HashTable< std::string, O3ReferenceSlot *> RefMap
Definition: O3ClassFactory_tpl.h:196
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:91
+ 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 286 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().

287  {
288  if (!__solver->resolveType(o3_type)) { return false; }
289 
290  return __prm->type(o3_type.label()).isSubTypeOf(type);
291  }
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:91
+ 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 294 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().

295  {
296  if (!__solver->resolveSlotType(o3_type)) { return false; }
297 
298  if (__prm->isInterface(o3_type.label())) {
299  return __prm->getInterface(o3_type.label()).isSubTypeOf(type);
300  } else {
301  return __prm->getClass(o3_type.label()).isSubTypeOf(type);
302  }
303  }
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:91
+ 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 672 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().

673  {
674  // Check that the number of labels is correct
675  if (rule.first.size() != attr.parents().size()) {
676  O3PRM_CLASS_ILLEGAL_RULE_SIZE(
677  rule, rule.first.size(), attr.parents().size(), *__errors);
678  return false;
679  }
680  return true;
681  }
+ 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 684 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().

687  {
688  bool errors = false;
689  for (std::size_t i = 0; i < attr.parents().size(); ++i) {
690  auto label = rule.first[i];
691  auto prnt = attr.parents()[i];
692  try {
693  auto real_labels = __resolveSlotChain(c, prnt)->type()->labels();
694  // c.get(prnt.label()).type()->labels();
695  if (label.label() != "*"
696  && std::find(real_labels.begin(), real_labels.end(), label.label())
697  == real_labels.end()) {
698  O3PRM_CLASS_ILLEGAL_RULE_LABEL(rule, label, prnt, *__errors);
699  errors = true;
700  }
701  } catch (Exception&) {
702  // parent does not exists and is already reported
703  }
704  }
705  return errors == false;
706  }
gum::prm::o3prm::O3ClassFactory::__resolveSlotChain
const PRMClassElement< GUM_SCALAR > * __resolveSlotChain(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain)
Definition: O3ClassFactory_tpl.h:849
+ 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 646 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().

647  {
648  if (!c.exists(prnt.label())) {
649  O3PRM_CLASS_PARENT_NOT_FOUND(prnt, *__errors);
650  return false;
651  }
652 
653  const auto& elt = c.get(prnt.label());
654  if (!(gum::prm::PRMClassElement< GUM_SCALAR >::isAttribute(elt)
655  || gum::prm::PRMClassElement< GUM_SCALAR >::isSlotChain(elt)
656  || gum::prm::PRMClassElement< GUM_SCALAR >::isAggregate(elt))) {
657  O3PRM_CLASS_ILLEGAL_PARENT(prnt, *__errors);
658  return false;
659  }
660 
661  return true;
662  }
gum::prm::PRMClassElement
Abstract class representing an element of PRM class.
Definition: PRMClassElement.h:58
+ 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 141 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().

141  {
142  return __checkAndAddNodesToDag() && __checkAndAddArcsToDag();
143  }
+ 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 1034 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().

1035  {
1036  if (agg.parameters().size() != n) {
1037  O3PRM_CLASS_AGG_PARAMETERS(
1038  agg.name(), Size(n), Size(agg.parameters().size()), *__errors);
1039  return false;
1040  }
1041 
1042  return true;
1043  }
gum::Size
std::size_t Size
In aGrUM, hashed values are unsigned long int.
Definition: types.h:45
+ 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 1046 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().

1047  {
1048  const auto& param = agg.parameters().front();
1049  bool found = false;
1050  for (Size idx = 0; idx < t.variable().domainSize(); ++idx) {
1051  if (t.variable().label(idx) == param.label()) {
1052  found = true;
1053  break;
1054  }
1055  }
1056 
1057  if (!found) {
1058  O3PRM_CLASS_AGG_PARAMETER_NOT_FOUND(agg.name(), param, *__errors);
1059  return false;
1060  }
1061 
1062  return true;
1063  }
gum::prm::PRMType::variable
DiscreteVariable & variable()
Return a reference on the DiscreteVariable contained in this.
Definition: PRMType_inl.h:42
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:45
+ 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 635 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().

636  {
637  if (prnt.label().find('.') == std::string::npos) {
638  return __checkLocalParent(c, prnt);
639 
640  } else {
641  return __checkRemoteParent(c, prnt);
642  }
643  }
gum::prm::o3prm::O3ClassFactory::__checkLocalParent
bool __checkLocalParent(const PRMClass< GUM_SCALAR > &c, const O3Label &prnt)
Definition: O3ClassFactory_tpl.h:646
gum::prm::o3prm::O3ClassFactory::__checkRemoteParent
bool __checkRemoteParent(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &prnt)
Definition: O3ClassFactory_tpl.h:665
+ 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 777 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().

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

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

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

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

666  {
667  if (__resolveSlotChain(c, prnt) == nullptr) { return false; }
668  return true;
669  }
gum::prm::o3prm::O3ClassFactory::__resolveSlotChain
const PRMClassElement< GUM_SCALAR > * __resolveSlotChain(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain)
Definition: O3ClassFactory_tpl.h:849
+ 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 757 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().

758  {
759  const auto& scope = c.scope();
760  bool errors = false;
761  for (auto& rule : attr.rules()) {
762  try {
763  if (!__checkLabelsNumber(attr, rule)) { errors = true; }
764  if (!__checkLabelsValues(c, attr, rule)) { errors = true; }
765  __addParamsToForms(scope, rule);
766  if (!__checkRuleCPTSumsTo1(c, attr, rule)) { errors = true; }
767  } catch (Exception& e) {
768  GUM_SHOWERROR(e);
769  errors = true;
770  }
771  }
772 
773  return errors == false;
774  }
gum::prm::o3prm::O3ClassFactory::__checkLabelsValues
bool __checkLabelsValues(const PRMClass< GUM_SCALAR > &c, const O3RuleCPT &attr, const O3RuleCPT::O3Rule &rule)
Definition: O3ClassFactory_tpl.h:684
gum::prm::o3prm::O3ClassFactory::__addParamsToForms
void __addParamsToForms(const HashTable< std::string, const PRMParameter< GUM_SCALAR > * > &scope, O3RuleCPT::O3Rule &rule)
Definition: O3ClassFactory_tpl.h:709
GUM_SHOWERROR
#define GUM_SHOWERROR(e)
Definition: exceptions.h:58
gum::prm::o3prm::O3ClassFactory::__checkLabelsNumber
bool __checkLabelsNumber(const O3RuleCPT &attr, const O3RuleCPT::O3Rule &rule)
Definition: O3ClassFactory_tpl.h:672
gum::prm::o3prm::O3ClassFactory::__checkRuleCPTSumsTo1
bool __checkRuleCPTSumsTo1(const PRMClass< GUM_SCALAR > &c, const O3RuleCPT &attr, const O3RuleCPT::O3Rule &rule)
Definition: O3ClassFactory_tpl.h:723
+ 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 723 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().

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

890  {
891  if (!c.exists(s)) {
892  O3PRM_CLASS_LINK_NOT_FOUND(chain, s, *__errors);
893  return false;
894  }
895  return true;
896  }
+ 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 541 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().

542  {
543  // Attributes
544  for (auto& agg : c.aggregates()) {
545  if (__checkAggregateForCompletion(c, agg)) {
546  factory.continueAggregator(agg.name().label());
547 
548  for (const auto& parent : agg.parents()) {
549  factory.addParent(parent.label());
550  }
551 
552  factory.endAggregator();
553  }
554  }
555  }
gum::prm::o3prm::O3ClassFactory::__checkAggregateForCompletion
bool __checkAggregateForCompletion(O3Class &o3class, O3Aggregate &agg)
Definition: O3ClassFactory_tpl.h:558
+ 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 571 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().

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

899  {
900  PRMFactory< GUM_SCALAR > factory(__prm);
901  factory.continueClass(c.name().label());
902 
903  for (auto& agg : c.aggregates()) {
904  if (__checkAggregateForDeclaration(c, agg)) {
905  auto params = std::vector< std::string >();
906  for (auto& p : agg.parameters()) {
907  params.push_back(p.label());
908  }
909 
910  factory.startAggregator(agg.name().label(),
911  agg.aggregateType().label(),
912  agg.variableType().label(),
913  params);
914  factory.endAggregator();
915  }
916  }
917 
918  factory.endClass(false);
919  }
gum::prm::o3prm::O3ClassFactory::__checkAggregateForDeclaration
bool __checkAggregateForDeclaration(O3Class &o3class, O3Aggregate &agg)
Definition: O3ClassFactory_tpl.h:922
+ 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 445 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().

445  {
446  PRMFactory< GUM_SCALAR > factory(__prm);
447  factory.continueClass(c.name().label());
448 
449  for (auto& attr : c.attributes()) {
450  if (__checkAttributeForDeclaration(c, *attr)) {
451  factory.startAttribute(attr->type().label(), attr->name().label());
452  factory.endAttribute();
453  }
454  }
455 
456  factory.endClass(false);
457  }
gum::prm::o3prm::O3ClassFactory::__checkAttributeForDeclaration
bool __checkAttributeForDeclaration(O3Class &o3_c, O3Attribute &attr)
Definition: O3ClassFactory_tpl.h:460
+ 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 849 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().

851  {
852  auto s = chain.label();
853  auto current = &c;
854  std::vector< std::string > v;
855 
856  decomposePath(chain.label(), v);
857 
858  for (size_t i = 0; i < v.size(); ++i) {
859  auto link = v[i];
860 
861  if (!__checkSlotChainLink(*current, chain, link)) { return nullptr; }
862 
863  auto elt = &(current->get(link));
864 
865  if (i == v.size() - 1) {
866  // last link, should be an attribute or aggregate
867  return elt;
868 
869  } else {
870  // should be a reference slot
871 
872  auto ref = dynamic_cast< const PRMReferenceSlot< GUM_SCALAR >* >(elt);
873  if (ref) {
874  current = &(ref->slotType());
875  } else {
876  return nullptr; // failsafe to prevent infinite loop
877  }
878  }
879  }
880 
881  // Encountered only reference slots
882 
883  return nullptr;
884  }
gum::prm::o3prm::O3ClassFactory::__checkSlotChainLink
bool __checkSlotChainLink(const PRMClassElementContainer< GUM_SCALAR > &c, const O3Label &chain, const std::string &s)
Definition: O3ClassFactory_tpl.h:887
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:27
+ 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 132 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().

132  {
133  auto topo_order = __dag.topologicalOrder();
134 
135  for (auto id = topo_order.rbegin(); id != topo_order.rend(); --id) {
136  __o3Classes.push_back(__nodeMap[*id]);
137  }
138  }
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:96
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:88
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:98
+ 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 107 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().

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

187  {
188  for (auto& c : __o3_prm->classes()) {
189  if (__checkImplementation(*c)) {
190  __prm->getClass(c->name().label()).initializeInheritance();
191  }
192  }
193  }
gum::prm::o3prm::O3PRM::classes
O3ClassList & classes()
Definition: O3prm.cpp:501
+ 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 306 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().

306  {
307  PRMFactory< GUM_SCALAR > factory(__prm);
308  // Class with a super class must be declared after
309  for (auto c : __o3Classes) {
310  __prm->getClass(c->name().label()).inheritParameters();
311 
312  factory.continueClass(c->name().label());
313 
314  __addParameters(factory, *c);
315 
316  factory.endClass(false);
317  }
318  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:98
gum::prm::o3prm::O3ClassFactory::__addParameters
void __addParameters(PRMFactory< GUM_SCALAR > &factory, O3Class &c)
Definition: O3ClassFactory_tpl.h:321
+ 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 341 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().

341  {
342  // Class with a super class must be declared after
343  for (auto c : __o3Classes) {
344  __prm->getClass(c->name().label()).inheritReferenceSlots();
345  __addReferenceSlots(*c);
346  }
347  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:98
+ 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 527 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().

527  {
528  PRMFactory< GUM_SCALAR > factory(__prm);
529 
530  // Class with a super class must be declared in order
531  for (auto c : __o3Classes) {
532  factory.continueClass(c->name().label());
533 
534  __completeAggregates(factory, *c);
535 
536  factory.endClass(false);
537  }
538  }
gum::prm::o3prm::O3ClassFactory::__completeAggregates
void __completeAggregates(PRMFactory< GUM_SCALAR > &factory, O3Class &c)
Definition: O3ClassFactory_tpl.h:541
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:98
+ 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 483 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().

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

436  {
437  // Class with a super class must be declared after
438  for (auto c : __o3Classes) {
439  __prm->getClass(c->name().label()).inheritAggregates();
440  __declareAggregates(*c);
441  }
442  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:98
+ 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 427 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().

427  {
428  // Class with a super class must be declared after
429  for (auto c : __o3Classes) {
430  __prm->getClass(c->name().label()).inheritAttributes();
431  __declareAttribute(*c);
432  }
433  }
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:98
+ 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 76 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().

76  {
77  if (this == &src) { return *this; }
78  __prm = src.__prm;
79  __o3_prm = src.__o3_prm;
80  __solver = src.__solver;
81  __errors = src.__errors;
82  __nameMap = src.__nameMap;
83  __classMap = src.__classMap;
84  __nodeMap = src.__nodeMap;
85  __dag = src.__dag;
86  __o3Classes = src.__o3Classes;
87  return *this;
88  }
gum::prm::o3prm::O3ClassFactory::__nameMap
HashTable< std::string, gum::NodeId > __nameMap
Definition: O3ClassFactory.h:94
gum::prm::o3prm::O3ClassFactory::__nodeMap
HashTable< NodeId, O3Class *> __nodeMap
Definition: O3ClassFactory.h:96
gum::prm::o3prm::O3ClassFactory::__classMap
HashTable< std::string, O3Class *> __classMap
Definition: O3ClassFactory.h:95
gum::prm::o3prm::O3ClassFactory::__o3Classes
std::vector< O3Class *> __o3Classes
Definition: O3ClassFactory.h:98
gum::prm::o3prm::O3ClassFactory::__solver
O3NameSolver< GUM_SCALAR > * __solver
Definition: O3ClassFactory.h:91
+ 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 92 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.

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

Member Data Documentation

◆ __classMap

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

Definition at line 95 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 97 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 92 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 94 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 96 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 90 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 98 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 89 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 91 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.14.2
Thu Feb 28 2019 14:11:39
© CG&PHW&others - LIP6 2005-2007-2012
DoXyGeN 1.8.13