CIVLStatePredicate (CIVL 2.0 2.0 44 [4cf677d])

All Superinterfaces:: dev.civl.gmc.StatePredicateIF<State>

All Known Subinterfaces:: AndPredicate, Deadlock, FunctionalEquivalence, PotentialDeadlock, TrivialPredicate

public interface CIVLStatePredicate extends dev.civl.gmc.StatePredicateIF<State>

Method Summary

Modifier and Type

Method

Description

CIVLExecutionException

getUnreportedViolation()

Returns the violation that has not yet been reported.

CIVLExecutionException

getViolation()

boolean

isAndPredicate()

Is this an And predicate?

Methods inherited from interface dev.civl.gmc.StatePredicateIF
explanation, holdsAt

Method Details
- getViolation
  
  CIVLExecutionException getViolation()
- getUnreportedViolation
  
  CIVLExecutionException getUnreportedViolation()
  
  Returns the violation that has not yet been reported.
  
  Returns:
- isAndPredicate
  
  boolean isAndPredicate()
  
  Is this an And predicate?
  
  Returns: