Module dev.civl.mc

Package dev.civl.mc.predicate.IF

Interface TrivialPredicate

All Superinterfaces:

CIVLStatePredicate, dev.civl.gmc.StatePredicateIF<State>

public interface TrivialPredicate
extends CIVLStatePredicate

Method Summary

Methods inherited from interface dev.civl.mc.predicate.IF.CIVLStatePredicate

getUnreportedViolation, getViolation, isAndPredicate

Methods inherited from interface dev.civl.gmc.StatePredicateIF

explanation, holdsAt