prop
prop
nyaya.prop
Atom
Biconditional
Conjunction
CycleDetector
CycleDetector
Undirected
Directed
GraphType
CycleFree
Disjunction
Eval
EqualB
Eval
EvalOver
Implication
Input
Logic
Logic
LogicPropExt
Mapped
Named
Negation
Prop
EqualB
WhitelistB
BlacklistB
AllPresentB
PropA
PropA
Prop_AnyExt
Reduction
prop
/
nyaya.prop
/
Eval
Eval
final case
class
Eval
Companion
object
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
@
elidable
def
assertSuccess
():
Unit
def
failure
:
Boolean
def
failureTree
:
String
def
failureTreeI
(indent:
String
):
String
def
failureTreeSB
(sb:
StringBuilder
, indent:
String
):
Unit
def
liftL
:
EvalL
def
rename
(n:
Name
):
Eval
def
rename
(f:
Name
=>
Name
):
Eval
def
report
:
String
def
rootCauseTree
:
String
def
rootCauseTreeI
(indent:
String
):
String
def
rootCauseTreeSB
(sb:
StringBuilder
, indent:
String
):
Unit
def
rootCauses
:
Set
[
Name
]
def
rootCausesAndInputs
:
Map
[
Name
,
Set
[
FailureReason
]]
def
success
:
Boolean
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Inherited from
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from
Product
Concrete fields
lazy
val
reasonsAndCauses
:
Map
[
FailureReason
,
List
[
Eval
]]