Class Paramita::Testing::WClauseContainerDummy¶

Inherits the following classes: Paramita::WClauseContainer

Public Static Attributes inherited from Paramita::WClauseContainer¶

Type	Name
constexpr const char *const	m_interface_id = `"Paramita::WClauseContainer"`

Public Static Attributes inherited from Paramita::Plugin¶

See Paramita::Plugin

Type	Name
constexpr const char *const	m_interface_id = `"Paramita::Plugin"`

Public Functions¶

Type	Name
virtual	add_clause (const Clause & clause, Weight weight) override Add a single clause with the specified weight.
virtual std::uint64_t	max_var () override const Get the largest variable used in the container.
virtual	set_minimum_var (std::uint64_t var) override Sets the maximum variable known to the container to at least this one.

Public Functions inherited from Paramita::WClauseContainer¶

See Paramita::WClauseContainer

Type	Name
	WClauseContainer () = default
	WClauseContainer (const WClauseContainer &) = delete
	WClauseContainer (WClauseContainer &&) = delete
virtual	add_clause (const Clause & clause, Weight weight) = 0 Add a single clause with the specified weight.
virtual	add_clauses (const std::vector< Clause > & clauses, Weight weight) Add multiple clauses to the container.
virtual	add_lit (Literal lit) Add a clause literal by literal.
virtual	add_soft_lit (Literal lit, std::uint64_t weight) Declare a literal as a soft literal with a weight.
virtual	add_weight (Weight weight) Changes the weight for the next clause that is added literal by literal.
virtual WClauseContainer *	clone () Clones the current container.
virtual std::uint64_t	max_var () const = 0 Get the largest variable used in the container.
virtual std::unordered_map< Weight, int >	num_clauses () const Obtain the distribution of clauses hold by the container over weights.
WClauseContainer &	operator= (const WClauseContainer & container) = delete
WClauseContainer &	operator= (WClauseContainer &&) = delete
virtual	set_minimum_var (std::uint64_t var) = 0 Sets the maximum variable known to the container to at least this one.
	~WClauseContainer () override

Public Functions inherited from Paramita::Plugin¶

See Paramita::Plugin

Type	Name
	Plugin () = default
	Plugin (const Plugin &) = delete Deleted constructor (pure interface).
	Plugin (Plugin &&) = delete Deleted constructor (pure interface).
virtual ParameterType	get (const std::string & name) Get the parameter's value.
virtual ParameterSpace	get_parameter_space () Get the parameter space for this class.
Plugin &	operator= (const Plugin & container) = delete Deleted constructor (pure interface).
Plugin &	operator= (Plugin &&) = delete Deleted constructor (pure interface).
virtual	set (const std::string & name, const ParameterType & value) Set a parameter.
virtual	~Plugin () = default

Public Functions Documentation¶

function add_clause¶

Add a single clause with the specified weight.

inline virtual Paramita::Testing::WClauseContainerDummy::add_clause (
    const Clause & clause,
    Weight weight
) override

Parameters:

clause The clause to be added to the container.
weight The associated weight for this clause.

Implements Paramita::WClauseContainer::add_clause

function max_var¶

Get the largest variable used in the container.

inline virtual std::uint64_t Paramita::Testing::WClauseContainerDummy::max_var () override const

Postcondition:

The return value is equal or larger to the absolute value for any literal passed to add_clause, add_clauses, or add_lit.

Returns:

The (positive) integer assigned to the largest variable.

Implements Paramita::WClauseContainer::max_var

function set_minimum_var¶

Sets the maximum variable known to the container to at least this one.

inline virtual Paramita::Testing::WClauseContainerDummy::set_minimum_var (
    std::uint64_t var
) override

This method can be used to ensure that the container knows a certain variable. If the container internally generates new variables, or if someone relies on the WClauseContainer::max_var method to determine the next free variable, this method ensures that existing variables cannot be reused.

Postcondition:

The value returned by max_var must be larger or equal than the one provided.

Postcondition:

The value returned by max_var cannot be reduced by this call.

Parameters:

var The variable to be registered to the container.

Implements Paramita::WClauseContainer::set_minimum_var