TestInterpretation Class Reference

#include <testsuite/dummytypes.h>

Collaboration diagram for TestInterpretation:

Public Types
typedef boost::shared_ptr < TestInterpretation >	Ptr
typedef boost::shared_ptr < const TestInterpretation >	ConstPtr
Public Member Functions
	TestInterpretation ()
	TestInterpretation (const TestAtomSet &as)
	~TestInterpretation ()
void	add (const TestAtomSet &as)
void	add (const TestInterpretation &i)
std::ostream &	print (std::ostream &o) const
const TestAtomSet &	getAtoms () const
Private Attributes
TestAtomSet	atoms

---

Detailed Description

Definition at line 62 of file dummytypes.h.

---

Member Typedef Documentation

typedef boost::shared_ptr<const TestInterpretation> TestInterpretation::ConstPtr

Definition at line 67 of file dummytypes.h.

typedef boost::shared_ptr<TestInterpretation> TestInterpretation::Ptr

Definition at line 66 of file dummytypes.h.

---

Constructor & Destructor Documentation

TestInterpretation::TestInterpretation

(

)

[inline]

Definition at line 71 of file dummytypes.h.

TestInterpretation::TestInterpretation

(

const TestAtomSet &

as

)

[inline]

Definition at line 73 of file dummytypes.h.

TestInterpretation::~TestInterpretation

(

)

[inline]

Definition at line 75 of file dummytypes.h.

---

Member Function Documentation

void TestInterpretation::add

(

const TestAtomSet &

as

)

[inline]

Definition at line 77 of file dummytypes.h.

References atoms.

Referenced by add().

void TestInterpretation::add

(

const TestInterpretation &

i

)

[inline]

Definition at line 82 of file dummytypes.h.

References add(), and getAtoms().

const TestAtomSet& TestInterpretation::getAtoms

(

)

const [inline]

Definition at line 103 of file dummytypes.h.

Referenced by add(), BOOST_FIXTURE_TEST_CASE(), and verifyModels().

std::ostream& TestInterpretation::print

(

std::ostream &

o

)

const [inline]

Definition at line 88 of file dummytypes.h.

References atoms.

Referenced by operator<<().

---

Field Documentation

TestAtomSet TestInterpretation::atoms [private]

Definition at line 104 of file dummytypes.h.

Referenced by add(), and print().

---

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

• testsuite/dummytypes.h