toggle menu
DICE API Documentation
JVM
switch theme
search in API
DICE API Documentation
/
com.embabel.dice.proposition.gate
/
GatedPropositionResult
/
isDemoted
is
Demoted
val
isDemoted
:
Boolean
True when the asserted relation should be demoted to a weaker predicate at projection time.