Index

A

add_data() (lnn.Congruent method) (lnn.Formula method) (lnn.Model method) (lnn.Predicate method) (lnn.Proposition method)

add_knowledge() (lnn.Model method) add_labels() (lnn.Formula method) (lnn.Model method) And (class in lnn)

C

Congruent (class in lnn)

contradicting_bounds() (lnn.Formula method) contradicting_stacked_bounds() (lnn.Formula method)

D

Direction (class in lnn) downward() (lnn.Congruent method) (lnn.Iff method) (lnn.Model method) (lnn.Not method) (lnn.XOr method)

E

Exists (class in lnn)

F

Fact (class in lnn) flush() (lnn.Formula method)

Forall (class in lnn) Formula (class in lnn)

G

get_data() (lnn.Formula method) get_labels() (lnn.Formula method)

graph (lnn.Model attribute) groundings (lnn.Formula property)

I

Iff (class in lnn) Implies (class in lnn) infer() (lnn.Model method)

infer_query() (lnn.Model method) is_classically_resolved (lnn.Formula property) is_contradiction() (lnn.Formula method) is_equal() (lnn.Formula method)

L

lnn module

Loss (class in lnn)

M

Model (class in lnn)

module lnn

N

named_parameters() (lnn.Model method) NeuralActivation (class in lnn)

nodes (lnn.Model attribute) Not (class in lnn)

O

Or (class in lnn)

P

parameters() (lnn.Model method) Predicate (class in lnn) predicate_truth_table() (in module lnn) Predicates() (in module lnn)

pretty_truth_table() (in module lnn) print() (lnn.Formula method) Proposition (class in lnn) Propositions() (in module lnn)

Q

query (lnn.Model attribute)

S

set_negative_weights() (lnn.Formula method) set_propositional() (lnn.Formula method)

set_query() (lnn.Model method) state() (lnn.Formula method)

T

train() (lnn.Model method)

U

upward() (lnn.Iff method) (lnn.Model method) (lnn.Not method) (lnn.XOr method)

V

Variable (class in lnn)

Variables() (in module lnn)

W

World (class in lnn)

world (lnn.Formula property) world_state() (lnn.Formula method)

X

XOr (class in lnn)