Class ScepticalLiteralTransformationFunctionTest


  • public class ScepticalLiteralTransformationFunctionTest
    extends java.lang.Object
    • Constructor Detail

      • ScepticalLiteralTransformationFunctionTest

        public ScepticalLiteralTransformationFunctionTest()
    • Method Detail

      • testAttackFailsWeakMaximality

        public void testAttackFailsWeakMaximality()
      • testDefeatFailsWeakMaximality

        public void testDefeatFailsWeakMaximality()
      • testStrongAttackFailsWeakMaximalityForEvenCycles

        public void testStrongAttackFailsWeakMaximalityForEvenCycles()