Package owl.cinterface
-
Interface Summary Interface Description CDoubleVector CIntVector -
Class Summary Class Description CAutomaton CDoubleVectorBuilder CInterface CInterface.CDirectives CIntVectorBuilder CIntVectors CLabelledFormula StateFeatures StateFeatures.Feature UnmanagedMemory -
Enum Summary Enum Description CAutomaton.Acceptance CLabelledFormula.AtomicPropositionStatus StateFeatures.Feature.Type StateFeatures.TemporalOperatorsProfileNormalForm