class for graph triangulations for which we enforce a given partial ordering on the nodes eliminations, that is, the set of all the nodes is divided into several subsets. More...

#include <partialOrderedTriangulation.h>

Inheritance diagram for gum::PartialOrderedTriangulation:

Collaboration diagram for gum::PartialOrderedTriangulation:

Public Member Functions
Constructors / Destructors
	PartialOrderedTriangulation (const PartialOrderedEliminationSequenceStrategy &elimSeq=DefaultPartialOrderedEliminationSequenceStrategy(), const JunctionTreeStrategy &JTStrategy=DefaultJunctionTreeStrategy(), bool minimality=false)
	default constructor More...

	PartialOrderedTriangulation (const UndiGraph graph, const NodeProperty< Size > domsizes, const List< NodeSet > *partial_order, const PartialOrderedEliminationSequenceStrategy &elimSeq=DefaultPartialOrderedEliminationSequenceStrategy(), const JunctionTreeStrategy &JTStrategy=DefaultJunctionTreeStrategy(), bool minimality=false)
	constructor with a given graph More...

	PartialOrderedTriangulation (const PartialOrderedTriangulation &from)
	copy constructor More...

	PartialOrderedTriangulation (PartialOrderedTriangulation &&from)
	move constructor More...

virtual PartialOrderedTriangulation *	newFactory () const
	returns a fresh triangulation (over an empty graph) of the same type as the current object More...

virtual PartialOrderedTriangulation *	copyFactory () const final
	virtual copy constructor More...

virtual	~PartialOrderedTriangulation ()
	destructor More...

Accessors / Modifiers
virtual void	setGraph (const UndiGraph graph, const NodeProperty< Size > domsizes) final
	initialize the triangulation data structures for a new graph More...

virtual void	setPartialOrder (const List< NodeSet > *partial_order) final
	sets the elimination sequence's partial order (only a reference is stored) More...

Accessors / Modifiers
const EdgeSet &	fillIns ()
	returns the fill-ins added by the triangulation algorithm More...

const std::vector< NodeId > &	eliminationOrder ()
	returns an elimination ordering compatible with the triangulated graph More...

Idx	eliminationOrder (const NodeId)
	returns the index of a given node in the elimination order (0 = first node eliminated) More...

const NodeProperty< NodeId > &	reverseEliminationOrder ()
	returns a table indicating, for each node, at which step it was deleted by the triangulation process More...

const UndiGraph &	triangulatedGraph ()
	returns the triangulated graph More...

const CliqueGraph &	eliminationTree ()
	returns the elimination tree of a compatible ordering More...

const CliqueGraph &	junctionTree ()
	returns a compatible junction tree More...

NodeId	createdJunctionTreeClique (const NodeId id)
	returns the Id of the clique of the junction tree created by the elimination of a given node during the triangulation process More...

const NodeProperty< NodeId > &	createdJunctionTreeCliques ()
	returns the Ids of the cliques of the junction tree created by the elimination of the nodes More...

const CliqueGraph &	maxPrimeSubgraphTree ()
	returns a junction tree of maximal prime subgraphs More...

NodeId	createdMaxPrimeSubgraph (const NodeId id)
	returns the Id of the maximal prime subgraph created by the elimination of a given node during the triangulation process More...

void	clear ()
	reinitialize the graph to be triangulated to an empty graph More...

void	setMinimalRequirement (bool)
	sets/unset the minimality requirement More...

virtual bool	isMinimalityRequired () const final
	indicates wether minimality is required More...

void	setFillIns (bool)
	sets/unsets the record of the fill-ins in the standard triangulation procedure More...

const UndiGraph *	originalGraph () const
	returns the graph to be triangulated More...

EliminationSequenceStrategy &	eliminationSequenceStrategy () const
	returns the elimination sequence strategy used by the triangulation More...

JunctionTreeStrategy &	junctionTreeStrategy () const
	returns the junction tree strategy used by the triangulation More...

Accessors / Modifiers
double	maxLog10CliqueDomainSize ()
	returns the max of log10DomainSize of the cliques in the junction tree. More...

const NodeProperty< Size > *	domainSizes () const
	returns the domain sizes of the variables of the graph to be triangulated More...

Protected Attributes
const List< NodeSet > *	__partial_order {nullptr}
	the partial ordering to apply to eliminate nodes More...

EliminationSequenceStrategy *	_elimination_sequence_strategy {nullptr}
	the elimination sequence strategy used by the triangulation More...

JunctionTreeStrategy *	_junction_tree_strategy {nullptr}
	the junction tree strategy used by the triangulation More...

const NodeProperty< Size > *	_domain_sizes {nullptr}
	the domain sizes of the variables/nodes of the graph More...

Protected Member Functions
virtual void	_initTriangulation (UndiGraph &graph) final
	the function called to initialize the triangulation process More...

Detailed Description

class for graph triangulations for which we enforce a given partial ordering on the nodes eliminations, that is, the set of all the nodes is divided into several subsets.

Within each subset, any ordering can be chosen. But all the nodes of the first subset must be eliminated before the nodes of the second, which must be eliminated before those of the third subset, and so on.

Definition at line 54 of file partialOrderedTriangulation.h.

Constructor & Destructor Documentation

◆ PartialOrderedTriangulation() [1/4]

gum::PartialOrderedTriangulation::PartialOrderedTriangulation	(	const PartialOrderedEliminationSequenceStrategy &	elimSeq = `DefaultPartialOrderedEliminationSequenceStrategy()`,
		const JunctionTreeStrategy &	JTStrategy = `DefaultJunctionTreeStrategy()`,
		bool	minimality = `false`
	)

default constructor

Parameters

elimSeq	the elimination sequence used to triangulate the graph
JTStrategy	the junction tree strategy used to create junction trees
minimality	a Boolean indicating whether we should enforce that the triangulation is minimal w.r.t. inclusion

Definition at line 37 of file partialOrderedTriangulation.cpp.

Referenced by copyFactory(), and newFactory().

                                                                   :
       StaticTriangulation(elimSeq, JTStrategy, minimality) {
     // for debugging purposes
     GUM_CONSTRUCTOR(PartialOrderedTriangulation);
   }

Here is the caller graph for this function:

◆ PartialOrderedTriangulation() [2/4]

gum::PartialOrderedTriangulation::PartialOrderedTriangulation	(	const UndiGraph *	graph,
		const NodeProperty< Size > *	domsizes,
		const List< NodeSet > *	partial_order,
		const PartialOrderedEliminationSequenceStrategy &	elimSeq = `DefaultPartialOrderedEliminationSequenceStrategy()`,
		const JunctionTreeStrategy &	JTStrategy = `DefaultJunctionTreeStrategy()`,
		bool	minimality = `false`
	)

constructor with a given graph

Parameters

graph	the graph to be triangulated, i.e., the nodes of which will be eliminated
domsizes	the domain sizes of the nodes to be eliminated
partial_order	the list of the subsets constituting the partial ordering
elimSeq	the elimination sequence used to triangulate the graph
JTStrategy	the junction tree strategy used to create junction trees
minimality	a Boolean indicating whether we should enforce that the triangulation is minimal w.r.t. inclusion

Warning: Note that we allow dom_sizes to be defined over nodes/variables that do not belong to graph. These sizes will simply be ignored. However, it is compulsory that all the nodes of graph belong to dom_sizes; note that, by aGrUM's rule, the graph, the domain sizes and the partial ordering are not copied but only referenced by the triangulation algorithm.

Definition at line 47 of file partialOrderedTriangulation.cpp.

References __partial_order, gum::StaticTriangulation::_elimination_sequence_strategy, and setPartialOrder().

                                                                   :
       StaticTriangulation(theGraph, dom, elimSeq, JTStrategy, minimality),
       __partial_order(partial_order) {
     static_cast< PartialOrderedEliminationSequenceStrategy* >(
        _elimination_sequence_strategy)
        ->setPartialOrder(__partial_order);
 
     // for debugging purposes
     GUM_CONSTRUCTOR(PartialOrderedTriangulation);
   }

Here is the call graph for this function:

◆ PartialOrderedTriangulation() [3/4]

gum::PartialOrderedTriangulation::PartialOrderedTriangulation ( const PartialOrderedTriangulation & from )

copy constructor

Definition at line 65 of file partialOrderedTriangulation.cpp.

                                               :
       StaticTriangulation(from),
       __partial_order(from.__partial_order) {
     // for debugging purposes
     GUM_CONS_CPY(PartialOrderedTriangulation);
   }

◆ PartialOrderedTriangulation() [4/4]

gum::PartialOrderedTriangulation::PartialOrderedTriangulation ( PartialOrderedTriangulation && from )

move constructor

Definition at line 74 of file partialOrderedTriangulation.cpp.

                                          :
       StaticTriangulation(std::move(from)),
       __partial_order(from.__partial_order) {
     // for debugging purposes
     GUM_CONS_MOV(PartialOrderedTriangulation);
   }

◆ ~PartialOrderedTriangulation()

gum::PartialOrderedTriangulation::~PartialOrderedTriangulation ( )

virtual

destructor

Definition at line 96 of file partialOrderedTriangulation.cpp.

                                                             {
     // for debugging purposes
     GUM_DESTRUCTOR(PartialOrderedTriangulation);
   }

Member Function Documentation

◆ _initTriangulation()

void gum::PartialOrderedTriangulation::_initTriangulation ( UndiGraph & graph )

finalprotectedvirtual

the function called to initialize the triangulation process

This function is called when the triangulation process starts and is used to initialize the elimination sequence strategy. Actually, the graph that is modified by the triangulation algorithm is a copy of the original graph, and this copy need be known by the elimination sequence strategy. _initTriangulation is used to transmit this knowledge to the elimination sequence (through method setGraph of the elimination sequence class).

Parameters

graph the very graph that is triangulated (this is a copy of _original_graph)

Reimplemented from gum::StaticTriangulation.

Definition at line 121 of file partialOrderedTriangulation.cpp.

References __partial_order, gum::Triangulation::_domain_sizes, gum::StaticTriangulation::_elimination_sequence_strategy, gum::PartialOrderedEliminationSequenceStrategy::setGraph(), and gum::PartialOrderedEliminationSequenceStrategy::setPartialOrder().

                                                                        {
     PartialOrderedEliminationSequenceStrategy* elim =
        static_cast< PartialOrderedEliminationSequenceStrategy* >(
           _elimination_sequence_strategy);
     elim->setGraph(&graph, _domain_sizes);
     elim->setPartialOrder(__partial_order);
   }

Here is the call graph for this function:

◆ clear()

void gum::StaticTriangulation::clear ( )

virtualinherited

reinitialize the graph to be triangulated to an empty graph

Implements gum::Triangulation.

Definition at line 165 of file staticTriangulation.cpp.

Referenced by gum::StaticTriangulation::setGraph().

                                   {
     // clear the factories
     _elimination_sequence_strategy->clear();
     _junction_tree_strategy->clear();
 
     // remove the current graphs
     __original_graph = nullptr;
     __junction_tree = nullptr;
     __triangulated_graph.clear();
     __elim_tree.clear();
     __max_prime_junction_tree.clear();
     __elim_cliques.clear();
     __node_2_max_prime_clique.clear();
 
     // remove all fill-ins and orderings
     __fill_ins.clear();
     __added_fill_ins.clear();
     __elim_order.clear();
     __reverse_elim_order.clear();
 
     // indicates that the junction tree, the max prime tree, etc, are updated
     __has_triangulation = true;
     __has_triangulated_graph = true;
     __has_elimination_tree = true;
     __has_junction_tree = true;
     __has_max_prime_junction_tree = true;
     __has_fill_ins = true;
   }

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copyFactory()

PartialOrderedTriangulation * gum::PartialOrderedTriangulation::copyFactory ( ) const

finalvirtual

virtual copy constructor

Implements gum::StaticTriangulation.

Definition at line 91 of file partialOrderedTriangulation.cpp.

References PartialOrderedTriangulation().

                                                                               {
     return new PartialOrderedTriangulation(*this);
   }

Here is the call graph for this function:

◆ createdJunctionTreeClique()

NodeId gum::StaticTriangulation::createdJunctionTreeClique ( const NodeId id )

virtualinherited

returns the Id of the clique of the junction tree created by the elimination of a given node during the triangulation process

Implements gum::Triangulation.

◆ createdJunctionTreeCliques()

const NodeProperty< NodeId >& gum::StaticTriangulation::createdJunctionTreeCliques ( )

virtualinherited

returns the Ids of the cliques of the junction tree created by the elimination of the nodes

Implements gum::Triangulation.

◆ createdMaxPrimeSubgraph()

NodeId gum::StaticTriangulation::createdMaxPrimeSubgraph ( const NodeId id )

virtualinherited

returns the Id of the maximal prime subgraph created by the elimination of a given node during the triangulation process

Implements gum::Triangulation.

◆ domainSizes()

const NodeProperty< Size >* gum::Triangulation::domainSizes ( ) const

inherited

returns the domain sizes of the variables of the graph to be triangulated

◆ eliminationOrder() [1/2]

const std::vector< NodeId >& gum::StaticTriangulation::eliminationOrder ( )

virtualinherited

returns an elimination ordering compatible with the triangulated graph

Implements gum::Triangulation.

Referenced by gum::prm::StructuredInference< GUM_SCALAR >::__buildReduceGraph(), gum::DefaultJunctionTreeStrategy::__computeJunctionTree(), gum::prm::SVED< GUM_SCALAR >::__eliminateNodes(), gum::prm::SVE< GUM_SCALAR >::__eliminateNodes(), gum::prm::SVED< GUM_SCALAR >::__eliminateNodesWithEvidence(), gum::prm::SVE< GUM_SCALAR >::__eliminateNodesWithEvidence(), gum::prm::gspan::StrictSearch< GUM_SCALAR >::__elimination_cost(), gum::prm::SVE< GUM_SCALAR >::__initLiftedNodes(), gum::prm::StructuredInference< GUM_SCALAR >::__reduceAloneInstances(), and gum::prm::StructuredInference< GUM_SCALAR >::__reducePattern().

Here is the caller graph for this function:

◆ eliminationOrder() [2/2]

Idx gum::StaticTriangulation::eliminationOrder ( const NodeId )

virtualinherited

returns the index of a given node in the elimination order (0 = first node eliminated)

Implements gum::Triangulation.

◆ eliminationSequenceStrategy()

EliminationSequenceStrategy& gum::StaticTriangulation::eliminationSequenceStrategy ( ) const

inherited

returns the elimination sequence strategy used by the triangulation

◆ eliminationTree()

const CliqueGraph& gum::StaticTriangulation::eliminationTree ( )

virtualinherited

returns the elimination tree of a compatible ordering

Implements gum::Triangulation.

Referenced by gum::DefaultJunctionTreeStrategy::__computeJunctionTree().

Here is the caller graph for this function:

◆ fillIns()

const EdgeSet & gum::StaticTriangulation::fillIns ( )

virtualinherited

returns the fill-ins added by the triangulation algorithm

Implements gum::Triangulation.

Definition at line 679 of file staticTriangulation.cpp.

                                               {
     // if we did not compute the triangulation yet, do it and commpute
     // the fill-ins at the same time
     if (!__has_triangulation) {
       bool want_fill_ins = __we_want_fill_ins;
       __we_want_fill_ins = true;
       __triangulate();
       __we_want_fill_ins = want_fill_ins;
       __has_fill_ins = true;
     }
 
     // here, we already computed a triangulation and we already computed
     // the fill-ins, so return them
     if (__has_fill_ins) {
       if (_elimination_sequence_strategy->providesFillIns())
         return _elimination_sequence_strategy->fillIns();
       else
         return __fill_ins;
     } else {
       // ok, here, we shall compute the fill-ins as they were not precomputed
       if (!__original_graph) return __fill_ins;
 
       // just in case, be sure that the junction tree has been constructed
       if (!__has_junction_tree) junctionTree();
 
       for (const auto clik_id : __junction_tree->nodes()) {
         // for each clique, add the edges necessary to make it complete
         const NodeSet&        clique = __junction_tree->clique(clik_id);
         std::vector< NodeId > clique_nodes(clique.size());
         unsigned int          i = 0;
 
         for (const auto node : clique) {
           clique_nodes[i] = node;
           i += 1;
         }
 
         for (i = 0; i < clique_nodes.size(); ++i) {
           for (unsigned int j = i + 1; j < clique_nodes.size(); ++j) {
             Edge edge(clique_nodes[i], clique_nodes[j]);
 
             if (!__original_graph->existsEdge(edge)) {
               try {
                 __fill_ins.insert(edge);
               } catch (DuplicateElement&) {}
             }
           }
         }
       }
 
       return __fill_ins;
     }
   }

Here is the call graph for this function:

◆ isMinimalityRequired()

virtual bool gum::StaticTriangulation::isMinimalityRequired ( ) const

finalvirtualinherited

indicates wether minimality is required

◆ junctionTree()

const CliqueGraph& gum::StaticTriangulation::junctionTree ( )

virtualinherited

returns a compatible junction tree

Implements gum::Triangulation.

Referenced by gum::StaticTriangulation::__computeMaxPrimeJunctionTree(), gum::StaticTriangulation::fillIns(), and gum::StaticTriangulation::triangulatedGraph().

Here is the caller graph for this function:

◆ junctionTreeStrategy()

JunctionTreeStrategy& gum::StaticTriangulation::junctionTreeStrategy ( ) const

inherited

returns the junction tree strategy used by the triangulation

◆ maxLog10CliqueDomainSize()

double gum::Triangulation::maxLog10CliqueDomainSize ( )

inherited

returns the max of log10DomainSize of the cliques in the junction tree.

This is usefull for instance to estimate the complexity (both in space and in time) of the inference that will use the junction tree.

This method is not 'const' since it can be called before building any junction tree and hence it needs to build it...

Definition at line 70 of file triangulation.cpp.

References gum::Triangulation::_domain_sizes, and gum::Triangulation::junctionTree().

Referenced by gum::MaxInducedWidthMCBayesNetGenerator< GUM_SCALAR, ICPTGenerator, ICPTDisturber >::__checkConditions().

                                                  {
     double              res = 0.0;
     double              dSize;
     const JunctionTree& jt = junctionTree();   // here, the fact that we get
     // a junction tree ensures that _domain_sizes is different from nullptr
 
     for (const NodeId cl : jt) {
       dSize = 0.0;
 
       for (const auto node : jt.clique(cl))
         dSize += std::log10((*_domain_sizes)[node]);
 
       if (res < dSize) res = dSize;
     }
 
     return res;
   }

Here is the call graph for this function:

Here is the caller graph for this function:

◆ maxPrimeSubgraphTree()

const CliqueGraph& gum::StaticTriangulation::maxPrimeSubgraphTree ( )

virtualinherited

returns a junction tree of maximal prime subgraphs

Warning: Actually, the cliques of the junction tree are guarranteed to be maximal prime subgraph of the original graph that was triangulated only if the triangulation performed is minimal (in the sense that removing any edge in the triangulated graph results in a nontriangulated graph). This can be ensured by requiring minimality of the triangulation.

Implements gum::Triangulation.

◆ newFactory()

PartialOrderedTriangulation * gum::PartialOrderedTriangulation::newFactory ( ) const

virtual

returns a fresh triangulation (over an empty graph) of the same type as the current object

virtual copy constructor

note that we return a pointer as it enables subclasses to return pointers to their types, not Triangulation pointers. See item 25 of the more effective C++.

Implements gum::StaticTriangulation.

Definition at line 83 of file partialOrderedTriangulation.cpp.

References gum::StaticTriangulation::_elimination_sequence_strategy, gum::StaticTriangulation::_junction_tree_strategy, and PartialOrderedTriangulation().

                                                                              {
     return new PartialOrderedTriangulation(
        static_cast< const PartialOrderedEliminationSequenceStrategy& >(
           *_elimination_sequence_strategy),
        *_junction_tree_strategy);
   }

Here is the call graph for this function:

◆ operator=()

PartialOrderedTriangulation& gum::PartialOrderedTriangulation::operator= ( const PartialOrderedTriangulation & )

private

forbid copy operator

◆ originalGraph()

const UndiGraph* gum::StaticTriangulation::originalGraph ( ) const

inherited

returns the graph to be triangulated

Warning: if we have not set yet a graph, then originalGraph () will return a nullptr.

Referenced by gum::DefaultJunctionTreeStrategy::copyFactory().

Here is the caller graph for this function:

◆ reverseEliminationOrder()

const NodeProperty< NodeId >& gum::StaticTriangulation::reverseEliminationOrder ( )

inherited

returns a table indicating, for each node, at which step it was deleted by the triangulation process

◆ setFillIns()

void gum::StaticTriangulation::setFillIns ( bool )

inherited

sets/unsets the record of the fill-ins in the standard triangulation procedure

◆ setGraph()

void gum::PartialOrderedTriangulation::setGraph	(	const UndiGraph *	graph,
		const NodeProperty< Size > *	domsizes
	)

finalvirtual

initialize the triangulation data structures for a new graph

Parameters

graph	the graph to be triangulated, i.e., the nodes of which will be eliminated
domsizes	the domain sizes of the nodes to be eliminated
sequence	the order in which the nodes should be eliminated

Warning: note that, by aGrUM's rule, the graph and the domain sizes are not notcopied but only referenced by the triangulation algorithm.

Reimplemented from gum::StaticTriangulation.

Definition at line 103 of file partialOrderedTriangulation.cpp.

References __partial_order, gum::StaticTriangulation::_elimination_sequence_strategy, gum::StaticTriangulation::setGraph(), and setPartialOrder().

                                                                                  {
     StaticTriangulation::setGraph(graph, domsizes);
     static_cast< PartialOrderedEliminationSequenceStrategy* >(
        _elimination_sequence_strategy)
        ->setPartialOrder(__partial_order);
   }

Here is the call graph for this function:

◆ setMinimalRequirement()

void gum::StaticTriangulation::setMinimalRequirement ( bool )

inherited

sets/unset the minimality requirement

◆ setPartialOrder()

void gum::PartialOrderedTriangulation::setPartialOrder ( const List< NodeSet > * partial_order )

finalvirtual

sets the elimination sequence's partial order (only a reference is stored)

sets the sequence of elimination

The elimination sequence is kept outside this class for efficiency reasons.

Definition at line 112 of file partialOrderedTriangulation.cpp.

References __partial_order, and gum::StaticTriangulation::_elimination_sequence_strategy.

Referenced by PartialOrderedTriangulation(), and setGraph().

                                            {
     __partial_order = partial_order;
     static_cast< PartialOrderedEliminationSequenceStrategy* >(
        _elimination_sequence_strategy)
        ->setPartialOrder(__partial_order);
   }

Here is the caller graph for this function:

◆ triangulatedGraph()

const UndiGraph & gum::StaticTriangulation::triangulatedGraph ( )

virtualinherited

returns the triangulated graph

Implements gum::Triangulation.

Definition at line 487 of file staticTriangulation.cpp.

References gum::StaticTriangulation::__has_junction_tree, gum::StaticTriangulation::__has_triangulated_graph, gum::StaticTriangulation::__has_triangulation, gum::StaticTriangulation::__junction_tree, gum::StaticTriangulation::__original_graph, gum::StaticTriangulation::__triangulate(), gum::StaticTriangulation::__triangulated_graph, gum::UndiGraph::addEdge(), gum::StaticTriangulation::junctionTree(), and gum::Set< Key, Alloc >::size().

                                                           {
     if (!__has_triangulation) __triangulate();
 
     // if we did not construct the triangulated graph during the triangulation,
     // that is, we just constructed the junction tree, we shall construct it now
     if (!__has_triangulated_graph) {
       // just in case, be sure that the junction tree has been constructed
       if (!__has_junction_tree) junctionTree();
 
       // copy the original graph
       __triangulated_graph = *__original_graph;
 
       for (const auto clik_id : *__junction_tree) {
         // for each clique, add the edges necessary to make it complete
         const NodeSet&        clique = __junction_tree->clique(clik_id);
         std::vector< NodeId > clique_nodes(clique.size());
         unsigned int          i = 0;
 
         for (const auto node : clique) {
           clique_nodes[i] = node;
           i += 1;
         }
 
         for (i = 0; i < clique_nodes.size(); ++i) {
           for (unsigned int j = i + 1; j < clique_nodes.size(); ++j) {
             try {
               __triangulated_graph.addEdge(clique_nodes[i], clique_nodes[j]);
             } catch (DuplicateElement&) {}
           }
         }
       }
 
       __has_triangulated_graph = true;
     }
 
     return __triangulated_graph;
   }

Here is the call graph for this function:

Member Data Documentation

◆ __partial_order

const List< NodeSet >* gum::PartialOrderedTriangulation::__partial_order {nullptr}

protected

the partial ordering to apply to eliminate nodes

Definition at line 161 of file partialOrderedTriangulation.h.

Referenced by _initTriangulation(), PartialOrderedTriangulation(), setGraph(), and setPartialOrder().

◆ _domain_sizes

const NodeProperty< Size >* gum::Triangulation::_domain_sizes {nullptr}

protectedinherited

the domain sizes of the variables/nodes of the graph

Definition at line 152 of file triangulation.h.

Referenced by gum::OrderedTriangulation::_initTriangulation(), _initTriangulation(), gum::StaticTriangulation::_initTriangulation(), gum::Triangulation::maxLog10CliqueDomainSize(), and gum::StaticTriangulation::setGraph().

◆ _elimination_sequence_strategy

EliminationSequenceStrategy* gum::StaticTriangulation::_elimination_sequence_strategy {nullptr}

protectedinherited

the elimination sequence strategy used by the triangulation

Definition at line 231 of file staticTriangulation.h.

Referenced by gum::StaticTriangulation::__triangulate(), gum::OrderedTriangulation::_initTriangulation(), _initTriangulation(), gum::StaticTriangulation::_initTriangulation(), gum::StaticTriangulation::clear(), gum::StaticTriangulation::fillIns(), gum::OrderedTriangulation::newFactory(), newFactory(), gum::OrderedTriangulation::OrderedTriangulation(), PartialOrderedTriangulation(), gum::OrderedTriangulation::setGraph(), setGraph(), gum::OrderedTriangulation::setOrder(), setPartialOrder(), gum::StaticTriangulation::StaticTriangulation(), and gum::StaticTriangulation::~StaticTriangulation().

◆ _junction_tree_strategy

JunctionTreeStrategy* gum::StaticTriangulation::_junction_tree_strategy {nullptr}

protectedinherited

the junction tree strategy used by the triangulation

Definition at line 234 of file staticTriangulation.h.

Referenced by gum::StaticTriangulation::__computeMaxPrimeJunctionTree(), gum::StaticTriangulation::clear(), gum::OrderedTriangulation::newFactory(), newFactory(), gum::StaticTriangulation::StaticTriangulation(), and gum::StaticTriangulation::~StaticTriangulation().

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

agrum/graphs/algorithms/triangulations/partialOrderedTriangulation.h
agrum/graphs/algorithms/triangulations/partialOrderedTriangulation.cpp

Public Member Functions

Protected Attributes

Protected Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ PartialOrderedTriangulation() [1/4]

◆ PartialOrderedTriangulation() [2/4]

◆ PartialOrderedTriangulation() [3/4]

◆ PartialOrderedTriangulation() [4/4]

◆ ~PartialOrderedTriangulation()

Member Function Documentation

◆ _initTriangulation()

◆ clear()

◆ copyFactory()

◆ createdJunctionTreeClique()

◆ createdJunctionTreeCliques()

◆ createdMaxPrimeSubgraph()

◆ domainSizes()

◆ eliminationOrder() [1/2]

◆ eliminationOrder() [2/2]

◆ eliminationSequenceStrategy()

◆ eliminationTree()

◆ fillIns()

◆ isMinimalityRequired()

◆ junctionTree()

◆ junctionTreeStrategy()

◆ maxLog10CliqueDomainSize()

◆ maxPrimeSubgraphTree()

◆ newFactory()

◆ operator=()

◆ originalGraph()

◆ reverseEliminationOrder()

◆ setFillIns()

◆ setGraph()

◆ setMinimalRequirement()

◆ setPartialOrder()

◆ triangulatedGraph()

Member Data Documentation

◆ __partial_order

◆ _domain_sizes

◆ _elimination_sequence_strategy

◆ _junction_tree_strategy