CVC3::CLFlags Class Reference

#include <cvc3_compat.h>

Public Member Functions
void	addFlag (const std::string &name, const CLFlag &f)
size_t	countFlags (const std::string &name) const
size_t	countFlags (const std::string &name, std::vector< std::string > &names) const
const CLFlag &	getFlag (const std::string &name) const
const CLFlag &	operator[] (const std::string &name) const
void	setFlag (const std::string &name, const CLFlag &f)
void	setFlag (const std::string &name, bool b)
void	setFlag (const std::string &name, int i)
void	setFlag (const std::string &name, const std::string &s)
void	setFlag (const std::string &name, const char *s)
void	setFlag (const std::string &name, const std::pair< std::string, bool > &p)
void	setFlag (const std::string &name, const std::vector< std::pair< std::string, bool > > &sv)

Detailed Description

Definition at line 198 of file cvc3_compat.h.

Member Function Documentation

void CVC3::CLFlags::addFlag	(	const std::string &	name,
		const CLFlag &	f
	)

size_t CVC3::CLFlags::countFlags

(

const std::string &

name

)

const

size_t CVC3::CLFlags::countFlags	(	const std::string &	name,
		std::vector< std::string > &	names
	)		const

const CLFlag& CVC3::CLFlags::getFlag

(

const std::string &

name

)

const

const CLFlag& CVC3::CLFlags::operator[]

(

const std::string &

name

)

const

void CVC3::CLFlags::setFlag	(	const std::string &	name,
		const CLFlag &	f
	)

void CVC3::CLFlags::setFlag	(	const std::string &	name,
		bool	b
	)

void CVC3::CLFlags::setFlag	(	const std::string &	name,
		int	i
	)

void CVC3::CLFlags::setFlag	(	const std::string &	name,
		const std::string &	s
	)

void CVC3::CLFlags::setFlag	(	const std::string &	name,
		const char *	s
	)

void CVC3::CLFlags::setFlag	(	const std::string &	name,
		const std::pair< std::string, bool > &	p
	)

void CVC3::CLFlags::setFlag	(	const std::string &	name,
		const std::vector< std::pair< std::string, bool > > &	sv
	)

---

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

• src/compat/cvc3_compat.h