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

List of all members.

Public Member Functions

 MaxTimeStepLessThan3 (unsigned int initialTimeStep)
bool operator() (const AnswerSet &answer)

Public Attributes

unsigned int initialTimeStep

Detailed Description

Definition at line 205 of file Clingo3.cpp.


Constructor & Destructor Documentation

actasp::MaxTimeStepLessThan3::MaxTimeStepLessThan3 ( unsigned int  initialTimeStep) [inline]

Definition at line 207 of file Clingo3.cpp.


Member Function Documentation

bool actasp::MaxTimeStepLessThan3::operator() ( const AnswerSet answer) [inline]

Definition at line 209 of file Clingo3.cpp.


Member Data Documentation

Definition at line 213 of file Clingo3.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