OKlibrary
0.2.1.6
|
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... |
General plans on clauses.
Alias "Cla".