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

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


Detailed Description

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

Alias "ACn".