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
/
Atom
Atom
final case
class
Atom
[P[_], A](n:
Option
[
Name
], f:
P
[
A
]) extends
Logic
[
P
,
A
]
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Logic
[
P
,
A
]
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
override
def
toString
:
String
Definition Classes
Any
Inherited methods
@
inline
final
def
&
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
final
def
<==
(a:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
final
def
<==>
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
final
def
==>
(c:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
and
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
final
def
contramap
[B](f: B =>
A
):
Logic
[
P
, B]
Inherited from
Logic
final
def
ifelse
(ifPass:
Logic
[
P
,
A
], ifFail:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
iff
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
implies
(c:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
not
:
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
or
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
def
productElementNames
:
Iterator
[
String
]
Inherited from
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from
Product
final
def
rename
(n: =>
String
):
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
rename_:
(name: =>
String
):
Logic
[
P
,
A
]
Inherited from
Logic
final
def
run
(x:
P
[
A
] =>
Eval
)(implicit F:
Contravariant
[
P
]):
Eval
Inherited from
Logic
@
inline
final
def
subst
[B <:
A
]:
Logic
[
P
, B]
Inherited from
Logic
final
def
unary_~
:
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
|
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
⇐
(a:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
@
inline
final
def
⇔
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
final
def
∧
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic
final
def
∨
(q:
Logic
[
P
,
A
]):
Logic
[
P
,
A
]
Inherited from
Logic