Trait iso_10303_parts::ap203::IAtomicFormula[−][src]

pub trait IAtomicFormula: ICompoundRepresentationItem { }

Implementors

`impl IAtomicFormula for AtomicFormula`[src]

`impl IAtomicFormula for GroundFact`[src]

`impl IAtomicFormula for RuleCondition`[src]