Trait iso_10303_parts::ap203::IAtomicFormula [−][src]
pub trait IAtomicFormula: ICompoundRepresentationItem { }
pub trait IAtomicFormula: ICompoundRepresentationItem { }
impl IAtomicFormula for AtomicFormula
[src]impl IAtomicFormula for GroundFact
[src]impl IAtomicFormula for RuleCondition
[src]