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

List of all members.

Public Member Functions

 fluent2Rule ()
 fluent2Rule (unsigned int timeStep)
AspRule operator() (const AspFluent &fluent)

Public Attributes

unsigned int timeStep
bool useTimeStep

Detailed Description

Definition at line 42 of file Reasoner.cpp.


Constructor & Destructor Documentation

Definition at line 44 of file Reasoner.cpp.

actasp::fluent2Rule::fluent2Rule ( unsigned int  timeStep) [inline]

Definition at line 45 of file Reasoner.cpp.


Member Function Documentation

AspRule actasp::fluent2Rule::operator() ( const AspFluent fluent) [inline]

Definition at line 47 of file Reasoner.cpp.


Member Data Documentation

Definition at line 55 of file Reasoner.cpp.

Definition at line 56 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