Infrared
Loading...
Searching...
No Matches
infrared.infrared.ArcticOptimizer Class Reference

Maximizing optimizer (based on arctic algebra) More...

Inheritance diagram for infrared.infrared.ArcticOptimizer:
Collaboration diagram for infrared.infrared.ArcticOptimizer:

Public Member Functions

 __init__ (self, model, td_factory=TreeDecompositionFactory(), lazy=True)
 Construct.
 
 optimize (self)
 Optimal assignment.
 
 gen_cluster_tree (self)
 ! Suitable cluster tree Returns:s arctic cluster tree for the model
 
- Public Member Functions inherited from infrared.infrared.EngineBase
 __init__ (self, model, td_factory=TreeDecompositionFactory(), lazy=True)
 Construct with model and optional td_factory.
 
 requires_reinitialization (self)
 
 setup_engine (self, *skip_ct=False)
 Sets up the constraint model / cluster tree sampling engine.
 
 evaluate (self)
 Evaluates the cluster tree.
 
 is_consistent (self)
 
 plot_td (self, filename, to="pdf")
 Plot the tree decomposition to pdf file filename write to filename to target format, support conversion to "pdf" or "png".
 
 treewidth (self)
 Get tree width.
 
 gen_cluster_tree (self)
 Generate the populated cluster tree td tree decomposition Returns cluster tree.
 

Protected Attributes

 _model
 
- Protected Attributes inherited from infrared.infrared.EngineBase
 _model
 
 _td_factory
 
 _td
 
 _ct
 

Additional Inherited Members

- Properties inherited from infrared.infrared.EngineBase
 model = property
 
 td = property
 
 ct = property
 

Detailed Description

Maximizing optimizer (based on arctic algebra)

Constructor & Destructor Documentation

◆ __init__()

infrared.infrared.ArcticOptimizer.__init__ (   self,
  model,
  td_factory = TreeDecompositionFactory(),
  lazy = True 
)

Construct.

See also
EngineBase

Reimplemented from infrared.infrared.EngineBase.

Member Function Documentation

◆ gen_cluster_tree()

infrared.infrared.ArcticOptimizer.gen_cluster_tree (   self)

! Suitable cluster tree Returns:s arctic cluster tree for the model

Reimplemented from infrared.infrared.EngineBase.

◆ optimize()

infrared.infrared.ArcticOptimizer.optimize (   self)

Optimal assignment.

Returns
one optimal assignment

Member Data Documentation

◆ _model

infrared.infrared.ArcticOptimizer._model
protected

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