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
/
CycleDetector
/
Directed
Directed
object
Directed
extends
GraphType
Graph
Supertypes
class
GraphType
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
override
def
check
[A, B, I](vertices: (A, B) =>
Iterator
[B], id: B => I): (A,
Iterator
[B]) =>
Option
[(B, B)]
Definition Classes
GraphType
Inherited methods
def
map
[A, I](id: A => I):
CycleDetector
[
Map
[A, A], A]
Inherited from
GraphType
def
multimap
[V[_], A, I](id: A => I, empty: V[A])(ev: V[A]
<:<
Iterable
[A]):
CycleDetector
[
Map
[A, V[A]], A]
Inherited from
GraphType
def
tree
[A, I](vertices: A =>
Iterator
[A], id: A => I):
CycleDetector
[
Iterator
[A], A]
Inherited from
GraphType