ScepticalLiteralTransformationFunctionTest

java.lang.Object

org.tweetyproject.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest

public class ScepticalLiteralTransformationFunctionTest extends 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 Details
- ScepticalLiteralTransformationFunctionTest
  
  public ScepticalLiteralTransformationFunctionTest()
Method Details
- testAttackFailsWeakMaximality
  
  public void testAttackFailsWeakMaximality()
- testDefeatFailsWeakMaximality
  
  public void testDefeatFailsWeakMaximality()
- testStrongAttackFailsWeakMaximalityForEvenCycles
  
  public void testStrongAttackFailsWeakMaximalityForEvenCycles()