Index

A

add() (fosf.syntax.base.DisjunctiveSort method) (fosf.syntax.constraints.Clause method) (fosf.syntax.constraints.RootedClause method) (fosf.syntax.constraints.SolvedClause method)

add_instance() (fosf.syntax.taxonomy.FuzzySortTaxonomy method) (fosf.syntax.taxonomy.SortTaxonomy method)

B

BaseOSFParser (class in fosf.parsers.base) BaseTaxonomy (class in fosf.syntax.taxonomy)

bfs() (fosf.syntax.terms.Term method) bot_code (fosf.syntax.taxonomy.BaseTaxonomy property)

C

Clause (class in fosf.syntax.constraints) ClauseNormalizer (class in fosf.reasoning.clauses)

code() (fosf.syntax.taxonomy.BaseTaxonomy method) Constraint (class in fosf.syntax.constraints)

D

degree() (fosf.syntax.taxonomy.FuzzySortTaxonomy method)

dfs() (fosf.syntax.terms.Term method) DisjunctiveSort (class in fosf.syntax.base)

E

EqualityConstraint (class in fosf.syntax.constraints)

equivalent_to() (fosf.syntax.constraints.RootedSolvedClause method) (fosf.syntax.terms.NormalTerm method)

F

Feature (class in fosf.syntax.base) FeatureConstraint (class in fosf.syntax.constraints) features() (fosf.syntax.theory.OsfTheory method) fosf.parsers module fosf.parsers.base module fosf.parsers.clause module fosf.parsers.taxonomy module fosf.parsers.term module fosf.parsers.theory module fosf.reasoning.clauses module fosf.reasoning.terms module

fosf.reasoning.theory module fosf.syntax module fosf.syntax.base module fosf.syntax.constraints module fosf.syntax.taxonomy module fosf.syntax.terms module fosf.syntax.theory module freeze() (fosf.syntax.base.DisjunctiveSort method) FrozenDisjunctiveSort (class in fosf.syntax.base) FuzzySortTaxonomy (class in fosf.syntax.taxonomy)

G

generate_constraints() (fosf.syntax.terms.Term method)

glb() (fosf.syntax.taxonomy.BaseTaxonomy method) (fosf.syntax.taxonomy.SortTaxonomy method)

H

homomorphisms() (fosf.reasoning.terms.TermUnifier method)

I

is_instance() (fosf.syntax.taxonomy.SortTaxonomy method) is_subsort() (fosf.syntax.taxonomy.BaseTaxonomy method) (fosf.syntax.taxonomy.SortTaxonomy method)

iter_subterms() (fosf.syntax.terms.NormalTerm method) (fosf.syntax.terms.Term method)

L

lower_bounds() (fosf.syntax.taxonomy.BaseTaxonomy method)

M

membership_degree() (fosf.syntax.taxonomy.FuzzySortTaxonomy method) module fosf.parsers fosf.parsers.base fosf.parsers.clause fosf.parsers.taxonomy fosf.parsers.term fosf.parsers.theory fosf.reasoning.clauses fosf.reasoning.terms fosf.reasoning.theory fosf.syntax fosf.syntax.base fosf.syntax.constraints fosf.syntax.taxonomy fosf.syntax.terms fosf.syntax.theory

N

NormalizationParser (class in fosf.parsers.clause) normalize() (fosf.reasoning.clauses.ClauseNormalizer method) (fosf.reasoning.terms.TermUnifier method) (fosf.reasoning.theory.TheoryTermNormalizer method) (fosf.syntax.constraints.Clause method) (fosf.syntax.constraints.RootedClause method) (fosf.syntax.constraints.SolvedClause method)

normalize_clause() (in module fosf.reasoning.clauses) normalize_term() (in module fosf.reasoning.terms) NormalTerm (class in fosf.syntax.terms)

O

OsfConstraintParser (class in fosf.parsers.clause) OsfTermParser (class in fosf.parsers.term)

OsfTheory (class in fosf.syntax.theory) OsfTheoryParser (class in fosf.parsers.theory)

P

parse() (fosf.parsers.base.BaseOSFParser method) (fosf.parsers.clause.OsfConstraintParser method) (fosf.parsers.taxonomy.TaxonomyParser method) (fosf.parsers.term.OsfTermParser method) (fosf.parsers.term.UnificationParser method) (fosf.parsers.theory.OsfTheoryParser method)

parse_clause() (in module fosf.parsers) parse_graph() (in module fosf.parsers) parse_taxonomy() (in module fosf.parsers) parse_term() (in module fosf.parsers) parse_theory() (in module fosf.parsers) pretty_print() (fosf.syntax.terms.Term method)

R

rename() (fosf.syntax.constraints.Clause method) (fosf.syntax.constraints.RootedClause method) (fosf.syntax.constraints.RootedSolvedClause method)

RootedClause (class in fosf.syntax.constraints) RootedSolvedClause (class in fosf.syntax.constraints)

S

SolvedClause (class in fosf.syntax.constraints) Sort (class in fosf.syntax.base) sort() (fosf.syntax.theory.OsfTheory method) SortConstraint (class in fosf.syntax.constraints) sorts() (fosf.syntax.constraints.Clause method) (fosf.syntax.terms.Term method)

SortTaxonomy (class in fosf.syntax.taxonomy) subclause() (fosf.syntax.constraints.Clause method) (fosf.syntax.constraints.RootedClause method) (fosf.syntax.constraints.RootedSolvedClause method) (fosf.syntax.constraints.SolvedClause method)

T

Tag (class in fosf.syntax.base) tag_to_sort() (fosf.syntax.terms.NormalTerm method) (fosf.syntax.terms.Term method) tags() (fosf.syntax.terms.Term method) TagTaxonomy (class in fosf.syntax.taxonomy) TaxonomyParser (class in fosf.parsers.taxonomy) Term (class in fosf.syntax.terms)

TermUnifier (class in fosf.reasoning.terms) thaw() (fosf.syntax.base.FrozenDisjunctiveSort method) TheoryTag (class in fosf.syntax.theory) TheoryTermNormalizer (class in fosf.reasoning.theory) to_clause() (fosf.syntax.terms.NormalTerm method) (fosf.syntax.terms.Term method) to_term() (fosf.syntax.constraints.RootedSolvedClause method) top_code (fosf.syntax.taxonomy.BaseTaxonomy property)

U

UnificationParser (class in fosf.parsers.term)

unify() (fosf.reasoning.terms.TermUnifier method) unify_terms() (in module fosf.reasoning.terms)