#include <types.h>

Public Member Functions
const auto &	var_types () const

carl::Quantifier	var_type (const carl::Variable &var) const
	Returns the type of the given variable. More...

bool	has (const carl::Variable &var) const

void	set_var_type (const carl::Variable &var, carl::Quantifier type)

Private Attributes
boost::container::flat_map< carl::Variable, carl::Quantifier >	m_var_types

Detailed Description

Definition at line 151 of file types.h.

Member Function Documentation

bool smtrat::covering_ng::VariableQuantification::has ( const carl::Variable & var ) const

inline

Definition at line 173 of file types.h.

Here is the call graph for this function:

void smtrat::covering_ng::VariableQuantification::set_var_type	(	const carl::Variable &	var,
		carl::Quantifier	type
	)

inline

Definition at line 177 of file types.h.

Here is the call graph for this function:

Here is the caller graph for this function:

carl::Quantifier smtrat::covering_ng::VariableQuantification::var_type ( const carl::Variable & var ) const

inline

Returns the type of the given variable.

Parameters

var	The variable.

Returns: The type of the variable. Returns EXISTS if the variable is not quantified.

Definition at line 165 of file types.h.

Here is the call graph for this function:

Here is the caller graph for this function:

const auto& smtrat::covering_ng::VariableQuantification::var_types ( ) const

inline

Definition at line 156 of file types.h.

Here is the caller graph for this function:

boost::container::flat_map<carl::Variable, carl::Quantifier> smtrat::covering_ng::VariableQuantification::m_var_types

private

Definition at line 153 of file types.h.

The documentation for this class was generated from the following file: