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
case
class
CycleDetector
[
A
,
B
](
extract:
A
=>
Iterator
[
B
],
check: (
A
,
Iterator
[
B
])
=>
Option
[(
B
,
B
)])
Companion:
object
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
def
contramap
[
Z
](
f:
Z
=>
A
):
CycleDetector
[
Z
,
B
]
def
cycleFree
(
a:
A
):
Either
[(
B
,
B
),
CycleFree
[
A
]]
final
def
findCycle
(
a:
A
):
Option
[(
B
,
B
)]
@inline
final
def
hasCycle
(
a:
A
):
Boolean
@inline
final
def
noCycle
(
a:
A
):
Boolean
def
noCycleProp
(
name:
=>
String
):
Prop
[
A
]
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from:
Product