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

General plans on clauses. More...

Namespaces

namespace  tests

Classes

class  RClausesAsVectors
 Clauses with remove-functionality, implemented by vectors. More...
class  RClausesAsSets
 Clauses with remove-functionality, implemented by sets. More...
class  WatchedLiterals_mono
 Clause-type with two watched literals, where the user can't distinguish between them. More...

Detailed Description

General plans on clauses.

Alias "Cla".