def visitNext(self, node, args):
raise LTLNotImplementedException(
'Next operator not implemented in STL online monitor.')
def visitUntil(self, node, args):
raise LTLNotImplementedException(
'Until operator is not implemented in the STL online monitor.')
def visitAlways(self, node, args):
raise LTLNotImplementedException(
'Always operator is not implemented in the STL online monitor.')
def visitEventually(self, node, args):
raise LTLNotImplementedException(
'Eventually operator is not implemented in the STL online monitor.'
)
def visitPrevious(self, node, args):
raise LTLNotImplementedException(
'Previous operator not implemented in STL dense-time monitor.')
def visitFall(self, node, args):
raise LTLNotImplementedException(
'Fall operator not implemented in STL dense monitor.')