prop
prop
nyaya.prop
Atom
Biconditional
Conjunction
CycleDetector
CycleDetector
Directed
GraphType
Undirected
CycleFree
Disjunction
Eval
EqualB
Eval
EvalOver
Implication
Input
Logic
Logic
LogicPropExt
Mapped
Named
Negation
Prop
AllPresentB
BlacklistB
EqualB
WhitelistB
PropA
PropA
Prop_AnyExt
Reduction
prop
/
nyaya.prop
/
CycleDetector
CycleDetector
object
CycleDetector
Companion:
class
Graph
Supertypes
Self type
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
CycleDetector
.type
Type members
Type members
Classlikes
object
Directed
extends
GraphType
sealed abstract
class
GraphType
object
Undirected
extends
GraphType
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Inherited from:
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from:
Mirror