Type Definition cop::fof::SForm [−][src]
type SForm = Form<String, String, String>;
type SForm = Form<String, String, String>;
impl From<AtomicFormula<'_>> for SForm[src]fn from(frm: AtomicFormula<'_>) -> Self[src]impl From<BinaryAssoc<'_>> for SForm[src]fn from(fm: BinaryAssoc<'_>) -> Self[src]impl From<BinaryFormula<'_>> for SForm[src]fn from(frm: BinaryFormula<'_>) -> Self[src]impl From<BinaryNonassoc<'_>> for SForm[src]fn from(frm: BinaryNonassoc<'_>) -> Self[src]impl From<DefinedAtomicFormula<'_>> for SForm[src]fn from(frm: DefinedAtomicFormula<'_>) -> Self[src]impl From<DefinedPlainFormula<'_>> for SForm[src]fn from(fm: DefinedPlainFormula<'_>) -> Self[src]impl From<Formula<'_>> for SForm[src]impl From<LogicFormula<'_>> for SForm[src]fn from(frm: LogicFormula<'_>) -> Self[src]impl From<PlainAtomicFormula<'_>> for SForm[src]fn from(frm: PlainAtomicFormula<'_>) -> Self[src]impl From<QuantifiedFormula<'_>> for SForm[src]fn from(frm: QuantifiedFormula<'_>) -> Self[src]impl From<UnaryFormula<'_>> for SForm[src]fn from(frm: UnaryFormula<'_>) -> Self[src]impl From<UnitFormula<'_>> for SForm[src]fn from(frm: UnitFormula<'_>) -> Self[src]impl From<UnitaryFormula<'_>> for SForm[src]fn from(frm: UnitaryFormula<'_>) -> Self[src]