toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.operations.consolidation
/
ContradictionResolutionPass
/
ContradictionResolutionPass
Contradiction
Resolution
Pass
constructor
(
reviser
:
PropositionReviser
,
eventListener
:
DiceEventListener
=
DiceEventListener.DEV_NULL
)