Module dev.civl.mc

Package dev.civl.mc.predicate.IF

Interface AndPredicate

All Superinterfaces:

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

public interface AndPredicate
extends CIVLStatePredicate

This represents a predicate in CNF, containing a number of predicates, called clauses, i.e., p1 & p2 & ...

Method Summary

Modifier and Type	Method	Description
void	addClause(CIVLStatePredicate predicate)	Add a predicate as one clause of this And predicate.
Iterable<CIVLStatePredicate>	clauses()	Returns all predicates contained by this And predicate.
CIVLStatePredicate	getUnreportedViolatedPredicate()	Returns that predicate that has a violation that not yet been reported.

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

getUnreportedViolation, getViolation, isAndPredicate

Methods inherited from interface dev.civl.gmc.StatePredicateIF

explanation, holdsAt

Method Details

addClause

void addClause(CIVLStatePredicate predicate)

Add a predicate as one clause of this And predicate.

clauses

Iterable<CIVLStatePredicate> clauses()

Returns all predicates contained by this And predicate.

Returns:

getUnreportedViolatedPredicate

CIVLStatePredicate getUnreportedViolatedPredicate()

Returns that predicate that has a violation that not yet been reported.

Returns: