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


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