File WClauseContainer.hpp

• #include <cstdint>
• #include <paramita/definitions.hpp>
• #include <paramita/plugin/Plugin.hpp>
• #include <unordered_map>
• #include <vector>

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	WClauseContainer A container of weighted clauses. A clause is a multiset of literals.