toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.common
/
PropositionContradicted
/
PropositionContradicted
Proposition
Contradicted
constructor
(
contextId
:
<Error class: unknown class>
,
original
:
Proposition
,
new
:
Proposition
,
timestamp
:
Instant
=
Instant.now()
)