Pair Struct Reference

Inheritance diagram for Pair:

Public Member Functions
	Pair (const TupleKindPtr &tuple1, const TupleKindPtr &tuple2)
virtual std::string	to_string () const override
virtual std::vector< std::string >	params () const override
virtual TupleKindPtr	apply (const Substitution &match, const TupleKindPtr &self) const override
virtual TupleKindPtr	left () const override
virtual TupleKindPtr	right () const override
Public Member Functions inherited from TupleKind
	TupleKind (const std::string &name)
virtual std::string	to_string () const
virtual std::vector< std::string >	params () const
virtual TupleKindPtr	apply (const Substitution &subs, const TupleKindPtr &self) const
virtual TupleKindPtr	left () const
virtual TupleKindPtr	right () const

Public Attributes
const TupleKindPtr	tuple1
const TupleKindPtr	tuple2
Public Attributes inherited from TupleKind
const std::string	name

Detailed Description

Definition at line 176 of file template_cpp.cc.

Constructor & Destructor Documentation

Pair()

Pair::Pair ( const TupleKindPtr &  tuple1, const TupleKindPtr &  tuple2  )

inline

Definition at line 177 of file template_cpp.cc.

Member Function Documentation

apply()

TupleKindPtr Pair::apply ( const Substitution &  match, const TupleKindPtr &  self  ) const

overridevirtual

Reimplemented from TupleKind.

Definition at line 235 of file template_cpp.cc.

References apply(), tuple1, and tuple2.

Referenced by apply().

left()

TupleKindPtr Pair::left ( ) const

overridevirtual

Reimplemented from TupleKind.

Definition at line 243 of file template_cpp.cc.

References tuple1.

params()

std::vector< std::string > Pair::params ( ) const

overridevirtual

Reimplemented from TupleKind.

Definition at line 219 of file template_cpp.cc.

References combine(), tuple1, and tuple2.

right()

TupleKindPtr Pair::right ( ) const

overridevirtual

Reimplemented from TupleKind.

Definition at line 250 of file template_cpp.cc.

References tuple2.

to_string()

std::string Pair::to_string ( ) const

overridevirtual

Reimplemented from TupleKind.

Definition at line 195 of file template_cpp.cc.

References tuple1, and tuple2.

Member Data Documentation

tuple1

const TupleKindPtr Pair::tuple1

Definition at line 187 of file template_cpp.cc.

Referenced by apply(), left(), params(), and to_string().

tuple2

const TupleKindPtr Pair::tuple2

Definition at line 188 of file template_cpp.cc.

Referenced by apply(), params(), right(), and to_string().

---

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

• template_cpp.cc