Public Member Functions | Public Attributes
actasp::AnswerSetRef Struct Reference

List of all members.

Public Member Functions

 AnswerSetRef (const AnswerSet &aset)
 operator const AnswerSet & () const

Public Attributes

const AnswerSetaset

Detailed Description

Definition at line 128 of file Reasoner.cpp.


Constructor & Destructor Documentation

actasp::AnswerSetRef::AnswerSetRef ( const AnswerSet aset) [inline]

Definition at line 129 of file Reasoner.cpp.


Member Function Documentation

actasp::AnswerSetRef::operator const AnswerSet & ( ) const [inline]

Definition at line 131 of file Reasoner.cpp.


Member Data Documentation

Definition at line 135 of file Reasoner.cpp.


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


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37