OKlibrary  0.2.1.6
OKlib::Satisfiability::ProblemInstances::Conditions Namespace Reference

Components for conditions. More...

Namespaces

namespace  AtomicConditions
 

Components for atomic conditions (corresponding to characteristic functions of sets)



Detailed Description

Components for conditions.

Alias "Cds".