File ClauseContainer.hpp

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

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	ClauseContainer A container of clauses.