Main Page   Class Hierarchy   Compound List   File List   Contact   Download   Symbolic Constraints   Examples  

SCIL::implicator Class Reference

List of all members.

Public Member Functions

virtual void implicate (subproblem &S, std::list< std::pair< var, double > > &fix_vars, bool fix)

Detailed Description

Definition at line 9 of file implicator.h.


The documentation for this class was generated from the following file:
Generated on Mon Mar 28 22:03:53 2011 for SCIL by  doxygen 1.6.3