actasp::MaxTimeStepLessThan3 Member List
This is the complete list of members for actasp::MaxTimeStepLessThan3, including all inherited members.
initialTimeStepactasp::MaxTimeStepLessThan3
MaxTimeStepLessThan3(unsigned int initialTimeStep)actasp::MaxTimeStepLessThan3 [inline]
operator()(const AnswerSet &answer)actasp::MaxTimeStepLessThan3 [inline]


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