operator()(const bwi_kr_execution::AspFluent &fluent) const | NotPositionFluent | [inline] |
operator()(const bwi_kr_execution::AspFluent &fluent) const | NotPositionFluent | [inline] |
operator()(const bwi_kr_execution::AspFluent &fluent) const | NotPositionFluent | [inline] |