CVC3::CLFlags Class Reference

#include <command_line_flags.h>

Collaboration diagram for CVC3::CLFlags:

[legend]List of all members.

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)

Private Types

• typedef std::map< std::string,
  CLFlag > CharMap

Private Member Functions

• CLFlag & getFlag0 (const std::string &name)

Private Attributes

• CharMap d_map

---

Detailed Description

Definition at line 246 of file command_line_flags.h.

---

Member Typedef Documentation

typedef std::map<std::string, CLFlag> CVC3::CLFlags::CharMap [private]

Definition at line 248 of file command_line_flags.h.

---

Member Function Documentation

CLFlag& CVC3::CLFlags::getFlag0

(

const std::string &

name

)

[inline, private]

Definition at line 255 of file command_line_flags.h.

References d_map, and DebugAssert.

Referenced by setFlag().

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

Definition at line 263 of file command_line_flags.h.

References d_map.

Referenced by CVC3::ValidityChecker::createFlags().

size_t CVC3::CLFlags::countFlags

(

const std::string &

name

)

const [inline]

Definition at line 267 of file command_line_flags.h.

References d_map.

Referenced by CVC3::VCCmd::evaluateCommand(), parse_args(), and printUsage().

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

Definition at line 276 of file command_line_flags.h.

References d_map.

const CLFlag& CVC3::CLFlags::getFlag

(

const std::string &

name

)

const [inline]

Definition at line 290 of file command_line_flags.h.

References d_map, and DebugAssert.

Referenced by operator[]().

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

(

const std::string &

name

)

const [inline]

Definition at line 296 of file command_line_flags.h.

References getFlag().

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

Definition at line 302 of file command_line_flags.h.

References DebugAssert, getFlag0(), and CVC3::CLFlag::getType().

Referenced by SAT::CNF_Manager::CNF_Manager(), CVC3::VCCmd::evaluateCommand(), and parse_args().

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

Definition at line 310 of file command_line_flags.h.

References getFlag0().

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

Definition at line 311 of file command_line_flags.h.

References getFlag0().

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

Definition at line 312 of file command_line_flags.h.

References getFlag0().

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

Definition at line 314 of file command_line_flags.h.

References getFlag0().

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

Definition at line 316 of file command_line_flags.h.

References getFlag0().

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

Definition at line 318 of file command_line_flags.h.

References getFlag0().

---

Member Data Documentation

CharMap CVC3::CLFlags::d_map [private]

Definition at line 249 of file command_line_flags.h.

Referenced by addFlag(), countFlags(), getFlag(), and getFlag0().

---

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

• command_line_flags.h

---