tptp-0.30.0
- tptp 0.30.0
- Docs.rs crate page
- MIT
- Links
- Homepage
- Crates.io
- Source
- Owners
- MichaelRawson
- Dependencies
- nom ^7 normal
  serde ^1 normal
  insta ^1 dev
- Versions
- 28.31% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Module fof

Structs
Enums

Module tptp::fof[−][src]

Expand description

the FOF dialect

Structs

fof_and_formula

fof_arguments

fof_binary_nonassoc

DefinedAtomicTerm

fof_defined_atomic_term

DefinedInfixFormula

fof_defined_infix_formula

DefinedPlainFormula

fof_defined_plain_formula

fof_infix_unary

fof_or_formula

PlainAtomicFormula

fof_plain_atomic_formula

QuantifiedFormula

fof_quantified_formula

SystemAtomicFormula

fof_system_atomic_formula

fof_variable_list

Enums

fof_atomic_formula

fof_binary_assoc

fof_binary_formula

DefinedAtomicFormula

fof_defined_atomic_formula

DefinedPlainTerm

fof_defined_plain_term

fof_defined_term

fof_function_term

fof_logic_formula

fof_plain_term

fof_quantifier

fof_system_term

fof_unary_formula

fof_unit_formula

fof_unitary_formula