Package net.sf.tweety.lp.asp.beliefdynamics

Class ScepticalLiteralTransformationFunctionTest

java.lang.Object

net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest

public class ScepticalLiteralTransformationFunctionTest
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ScepticalLiteralTransformationFunctionTest()

Method Summary

Modifier and Type	Method	Description
void	testAttackFailsWeakMaximality()
void	testDefeatFailsWeakMaximality()
void	testStrongAttackFailsWeakMaximalityForEvenCycles()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ScepticalLiteralTransformationFunctionTest

public ScepticalLiteralTransformationFunctionTest()

Method Detail

testAttackFailsWeakMaximality

public void testAttackFailsWeakMaximality()

testDefeatFailsWeakMaximality

public void testDefeatFailsWeakMaximality()

testStrongAttackFailsWeakMaximalityForEvenCycles

public void testStrongAttackFailsWeakMaximalityForEvenCycles()