Hets - the Heterogeneous Tool Set

Index - X

XGUI.HTkUtils
xFreeCAD.As
x1CommonLogic.PredefinedCASLAxioms
x2CommonLogic.PredefinedCASLAxioms
xaHasCASL.TypeRel
xaToZcHasCASL.TypeRel
XCoord 
1 (Data Constructor)GUI.HTkUtils
2 (Type/Class)GUI.HTkUtils
XCursor 
1 (Data Constructor)GUI.HTkUtils
2 (Type/Class)GUI.HTkUtils
xDummyComorphisms.Hs2HOLCFaux
XFont 
1 (Data Constructor)GUI.HTkUtils
2 (Type/Class)GUI.HTkUtils
xfontGUI.HTkUtils
XFontAliasGUI.HTkUtils
XGraph 
1 (Type/Class)Static.XGraph
2 (Data Constructor)Static.XGraph
xGraphStatic.XGraph
xg_bodyStatic.XGraph
XLink 
1 (Type/Class)Static.XGraph
2 (Data Constructor)Static.XGraph
XmiDriver.Options
xmlAFBOWL2.XMLConversion
xmlALOWL2.XMLConversion
xmlAnnotationOWL2.XMLConversion
xmlAnnotationsOWL2.XMLConversion
XmlAskpgipPGIP.XMLstate
xmlAssertionOWL2.XMLConversion
xmlAttrDiffCommon.XmlDiff
xmlAxiomsOWL2.XMLConversion
xmlBasicSpecOWL2.XML
xmlClassExpressionOWL2.XMLConversion
XmlCloseFilePGIP.XMLstate
XmlCloseGoalPGIP.XMLstate
XmlCloseTheoryPGIP.XMLstate
xmlDataRangeOWL2.XMLConversion
xmlDiffCommon.XmlDiff
xmlElemDiffCommon.XmlDiff
xmlElementsPGIP.XMLstate
xmlEntityOWL2.XMLConversion
XmlErrorOWL2.MS
XmlExecutePGIP.XMLstate
XmlExitPGIP.XMLstate
xmlFlagDriver.Options
XmlForgetPGIP.XMLstate
xmlFrameBitOWL2.XMLConversion
xmlFramesOWL2.XMLConversion
xmlFVPairOWL2.XMLConversion
XmlGiveUpGoalPGIP.XMLstate
XmlIdOMDoc.OMDocInterface
xmlImportOWL2.XMLConversion
xmlInOMDoc.XmlInterface
xmlIndividualOWL2.XMLConversion
xmlLFBOWL2.XMLConversion
xmlLibDefnSyntax.ToXml
xmlLiteral 
1 (Function)OWL2.Keywords
2 (Function)OWL2.XMLConversion
XmlLoadFilePGIP.XMLstate
xmlObjPropOWL2.XMLConversion
xmlOntologyDocOWL2.XMLConversion
XmlOpenGoalPGIP.XMLstate
XmlOpenTheoryPGIP.XMLstate
XmlOutDriver.Options
xmlOutOMDoc.XmlInterface
XmlParseableCommon.XmlParser
XmlParseScriptPGIP.XMLstate
xmlPrefixesOWL2.XMLConversion
XmlProverInitPGIP.XMLstate
XmlRedoPGIP.XMLstate
XmlRepresentableOMDoc.XmlInterface
XmlStartQuietPGIP.XMLstate
XmlStopQuietPGIP.XMLstate
XmlStringOMDoc.OMDocInterface
xmlSubjectOWL2.XMLConversion
xmlToAssignmentOMDoc.XmlInterface
XmlUndoPGIP.XMLstate
XmlUnknownPGIP.XMLstate
XNode 
1 (Type/Class)Static.XGraph
2 (Data Constructor)Static.XGraph
xnodeStatic.DevGraph
XORTHF.As
xorSOWL2.Keywords
xpathStatic.DgUtils
XPathPartStatic.DgUtils
XRefStatic.XGraph
xresGUI.HTkUtils
xRootGUI.HTkUtils
xsdBooleanMapOWL2.AS
xsdKeysOWL2.Keywords
xsdMapOWL2.AS
xsdNumbersOWL2.Keywords
xsdNumbersMapOWL2.AS
xsdStringsOWL2.Keywords
xsdStringsMapOWL2.AS
xtermGUI.HTkUtils
XTreeStatic.XGraph
xupdateDriver.Options
xupdateSCommon.XUpdate
xVarVSE.As