iw.model

Interfaces  IWAgent IWAxiom IWConclusionFiller IWDeclarativeRule IWDerivedRule IWFillerAntecedent IWFillerMapping IWInferenceEngine IWInferenceRule IWInferenceStep IWInferenceStepOccur IWLanguage IWLanguageAxiomSet IWMetaBinding IWMethodRule IWModel IWModelElement IWNodeSet IWNodeSetOccur IWOntology IWOrganization IWPerson IWPrimitiveRule IWProofElement IWProvenanceElement IWPublication IWQuery IWQuestion IWSource IWSourceUsage IWTeam IWTranslationRule IWVariableMapping IWWebSite PMLVocabulary

Classes  IWBase IWContext IWModelUtil PML ProofConfig