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

List of all members.

Public Member Functions

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

Public Attributes

unsigned int initialTimeStep

Detailed Description

Definition at line 397 of file Clingo4_2.cpp.


Constructor & Destructor Documentation

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

Definition at line 399 of file Clingo4_2.cpp.


Member Function Documentation

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

Definition at line 401 of file Clingo4_2.cpp.


Member Data Documentation

Definition at line 405 of file Clingo4_2.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