AbstractFormulaChecker
AbstractFormulaChecker
|
-1.0
( - )
|
AbstractParserTestCase
AbstractParserTestCase
|
-1.0
( - )
|
AsciiMathParserTest
AsciiMathParserTest
|
1.0
(100%)
|
BasicKernelTest
BasicKernelTest
|
1.0
(100%)
|
CalculateTruth
CalculateTruth
|
-1.0
( - )
|
CalculateTruthDynamicThreeModelTest
CalculateTruthDynamicThreeModelTest
|
1.0
(100%)
|
CalculateTruthDynamicUnaryModelTest
CalculateTruthDynamicUnaryModelTest
|
1.0
(100%)
|
CalculateTruthTestCase
CalculateTruthTestCase
|
-1.0
( - )
|
CalculateTruthThreeModelTest
CalculateTruthThreeModelTest
|
1.0
(100%)
|
CalculateTruthUnaryModelTest
CalculateTruthUnaryModelTest
|
1.0
(100%)
|
CheckRequiredModuleExceptionTest
CheckRequiredModuleExceptionTest
|
1.0
(100%)
|
DefaultKernelQedeqBoTest
DefaultKernelQedeqBoTest
|
1.0
(100%)
|
DefaultModuleEventListenerTest
DefaultModuleEventListenerTest
|
1.0
(100%)
|
DummyInternalKernelServices
DummyInternalKernelServices
|
-1.0
( - )
|
DummyKernelServices
DummyKernelServices
|
-1.0
( - )
|
DummyPlugin
DummyPlugin
|
-1.0
( - )
|
DummyServiceModule
DummyServiceModule
|
-1.0
( - )
|
DynamicDirectInterpreterTest
DynamicDirectInterpreterTest
|
1.0
(100%)
|
DynamicHeuristicCheckerPluginTest
DynamicHeuristicCheckerPluginTest
|
1.0
(100%)
|
DynamicInterpreter
DynamicInterpreter
|
-1.0
( - )
|
DynamicInterpreterTest
DynamicInterpreterTest
|
1.0
(100%)
|
Element2LatexImplTest
Element2LatexImplTest
|
1.0
(100%)
|
EqualFormula
EqualFormula
|
-1.0
( - )
|
EqualFormulaSet
EqualFormulaSet
|
-1.0
( - )
|
ExtendedGenerateLatexTest
ExtendedGenerateLatexTest
|
1.0
(100%)
|
FormalProofCheckerPluginTest
FormalProofCheckerPluginTest
|
1.0
(100%)
|
FormulaCheckerClassTermTest
FormulaCheckerClassTermTest
|
-1.0
( - )
|
FormulaCheckerContextTest
FormulaCheckerContextTest
|
1.0
(100%)
|
FormulaCheckerFactoryImplTest
FormulaCheckerFactoryImplTest
|
1.0
(100%)
|
FormulaCheckerFormulaTest
FormulaCheckerFormulaTest
|
-1.0
( - )
|
FormulaCheckerFunctionTermTest
FormulaCheckerFunctionTermTest
|
-1.0
( - )
|
FormulaCheckerGlobalTest
FormulaCheckerGlobalTest
|
-1.0
( - )
|
FormulaCheckerLogicalConnectivesTest
FormulaCheckerLogicalConnectivesTest
|
-1.0
( - )
|
FormulaCheckerNegationTest
FormulaCheckerNegationTest
|
-1.0
( - )
|
FormulaCheckerPredicateFormulaTest
FormulaCheckerPredicateFormulaTest
|
-1.0
( - )
|
FormulaCheckerQuantifiersTest
FormulaCheckerQuantifiersTest
|
-1.0
( - )
|
FormulaCheckerSubjectVariableTest
FormulaCheckerSubjectVariableTest
|
-1.0
( - )
|
FormulaCheckerTermTest
FormulaCheckerTermTest
|
-1.0
( - )
|
FormulaCheckerTest
FormulaCheckerTest
|
-1.0
( - )
|
FormulaUtilityReplaceOperatorVariableTest
FormulaUtilityReplaceOperatorVariableTest
|
1.0
(100%)
|
FormulaUtilityReplaceSubjectVariableQuantifierTest
FormulaUtilityReplaceSubjectVariableQuantifierTest
|
1.0
(100%)
|
FunctionVariableTest
FunctionVariableTest
|
1.0
(100%)
|
GenerateLatexTest
GenerateLatexTest
|
1.0
(100%)
|
GenerateUtf8Test
GenerateUtf8Test
|
1.0
(100%)
|
HeuristicCheckerExecutor
HeuristicCheckerExecutor
|
-1.0
( - )
|
HeuristicCheckerPlugin
HeuristicCheckerPlugin
|
-1.0
( - )
|
HeuristicCheckerPluginTest
HeuristicCheckerPluginTest
|
1.0
(100%)
|
HttpProxy
HttpProxy
|
-1.0
( - )
|
Interpreter
Interpreter
|
-1.0
( - )
|
KernelBoEachClassHasATest
KernelBoEachClassHasATest
|
-1.0
( - )
|
KernelContextTest
KernelContextTest
|
1.0
(100%)
|
KernelFacade
KernelFacade
|
-1.0
( - )
|
Latex2UnicodeParserTest
Latex2UnicodeParserTest
|
1.0
(100%)
|
LatexMathParserTest
LatexMathParserTest
|
1.0
(100%)
|
LoadRequiredModulesTest
LoadRequiredModulesTest
|
1.0
(100%)
|
LogListenerImplTest
LogListenerImplTest
|
1.0
(100%)
|
LogicalEquivalence
LogicalEquivalence
|
-1.0
( - )
|
ModelFunctionConstantTest
ModelFunctionConstantTest
|
1.0
(100%)
|
ModelPredicateConstantTest
ModelPredicateConstantTest
|
1.0
(100%)
|
ModuleConstantsExistenceCheckerTest
ModuleConstantsExistenceCheckerTest
|
1.0
(100%)
|
ModuleEventListenerLogTest
ModuleEventListenerLogTest
|
1.0
(100%)
|
OperatorTest
OperatorTest
|
1.0
(100%)
|
OperatorTest
OperatorTest
|
1.0
(100%)
|
OperatorTest.MyOperator
OperatorTest.MyOperator
|
-1.0
( - )
|
PredicateVariableTest
PredicateVariableTest
|
1.0
(100%)
|
ProofCheckerFactoryImplTest
ProofCheckerFactoryImplTest
|
1.0
(100%)
|
ProofCheckerTest
ProofCheckerTest
|
1.0
(100%)
|
ProofFinderImplTest
ProofFinderImplTest
|
1.0
(100%)
|
ProxyThread
ProxyThread
|
-1.0
( - )
|
Qedeq2LatexTest
Qedeq2LatexTest
|
1.0
(100%)
|
Qedeq2UnicodeTextExecutorTest
Qedeq2UnicodeTextExecutorTest
|
1.0
(100%)
|
QedeqBoFactoryAssert
QedeqBoFactoryAssert
|
-1.0
( - )
|
QedeqBoFactoryTest
QedeqBoFactoryTest
|
1.0
(100%)
|
QedeqBoFormalLogicCheckerDirectTest
QedeqBoFormalLogicCheckerDirectTest
|
1.0
(100%)
|
QedeqBoFormalLogicCheckerTest
QedeqBoFormalLogicCheckerTest
|
1.0
(100%)
|
QedeqBoSetTest
QedeqBoSetTest
|
1.0
(100%)
|
QedeqBoTestCase
QedeqBoTestCase
|
-1.0
( - )
|
QedeqLogTest
QedeqLogTest
|
1.0
(100%)
|
SimpleMathParserTest
SimpleMathParserTest
|
1.0
(100%)
|
SimpleProofFinderPluginTest
SimpleProofFinderPluginTest
|
1.0
(100%)
|
TestFormulaCheckerFactoryImpl
TestFormulaCheckerFactoryImpl
|
-1.0
( - )
|
TestFormulaCheckerImpl
TestFormulaCheckerImpl
|
-1.0
( - )
|
TestingProofCheckerFactoryImpl
TestingProofCheckerFactoryImpl
|
-1.0
( - )
|
ThreeModel
ThreeModel
|
-1.0
( - )
|
TraceListenerTest
TraceListenerTest
|
1.0
(100%)
|
UnaryModel
UnaryModel
|
-1.0
( - )
|
VisitorContextTest
VisitorContextTest
|
1.0
(100%)
|