Module declare4py.models.checker_result
Expand source code
class CheckerResult:
def __init__(self, num_fulfillments, num_violations, num_pendings, num_activations, state):
self.num_fulfillments = num_fulfillments
self.num_violations = num_violations
self.num_pendings = num_pendings
self.num_activations = num_activations
self.state = state
Classes
class CheckerResult (num_fulfillments, num_violations, num_pendings, num_activations, state)
-
Expand source code
class CheckerResult: def __init__(self, num_fulfillments, num_violations, num_pendings, num_activations, state): self.num_fulfillments = num_fulfillments self.num_violations = num_violations self.num_pendings = num_pendings self.num_activations = num_activations self.state = state