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) BOT_PREFIX (fosf.syntax.taxonomy.BaseTaxonomy attribute) (fosf.syntax.taxonomy.SortTaxonomy attribute) (fosf.syntax.taxonomy.TagTaxonomy attribute)

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) constraints (fosf.syntax.constraints.RootedClause attribute) (fosf.syntax.constraints.SolvedClause attribute)

D

degree() (fosf.syntax.taxonomy.FuzzySortTaxonomy method) deref_tag() (fosf.reasoning.clauses.ClauseNormalizer method) (fosf.reasoning.theory.TheoryTermNormalizer method) dfs() (fosf.syntax.terms.Term method)

DISJUNCTIVE_TYPE (fosf.syntax.taxonomy.BaseTaxonomy attribute) (fosf.syntax.taxonomy.SortTaxonomy attribute) (fosf.syntax.taxonomy.TagTaxonomy attribute) 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

f (fosf.syntax.constraints.FeatureConstraint attribute) 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.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)

GraphParser (class in fosf.parsers.taxonomy)

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.base fosf.syntax.constraints fosf.syntax.taxonomy fosf.syntax.terms fosf.syntax.theory

N

NODE_TYPE (fosf.syntax.taxonomy.SortTaxonomy attribute) (fosf.syntax.taxonomy.TagTaxonomy attribute) NODE_TYPE() (fosf.syntax.taxonomy.BaseTaxonomy method) 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.GraphParser 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.constraints.Constraint attribute) (fosf.syntax.constraints.RootedClause attribute) (fosf.syntax.constraints.SolvedClause attribute) 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) TOP_PREFIX (fosf.syntax.taxonomy.BaseTaxonomy attribute) (fosf.syntax.taxonomy.SortTaxonomy attribute) (fosf.syntax.taxonomy.TagTaxonomy attribute)

U

UnificationParser (class in fosf.parsers.term)

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

X

X (fosf.syntax.constraints.EqualityConstraint attribute) (fosf.syntax.constraints.FeatureConstraint attribute)

Y

Y (fosf.syntax.constraints.EqualityConstraint attribute) (fosf.syntax.constraints.FeatureConstraint attribute)