net.sf.tweety.logics.pl.test

Class TestNicePossibleWorld

java.lang.Object

net.sf.tweety.logics.pl.test.TestNicePossibleWorld

public class TestNicePossibleWorld
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private static java.util.Set<Proposition>	signature
private NicePossibleWorld	world
private static java.util.Set<Proposition>	worldProps

Constructor Summary

Constructors

Constructor and Description
TestNicePossibleWorld()

Method Summary

Modifier and Type	Method and Description
void	creation()
void	creationFailure()
static void	init()
void	initWorld()
void	invalidSignature()
void	signatureGrow()
void	signatureShrink()

Methods inherited from class java.lang.Object

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

Field Detail

worldProps

private static java.util.Set<Proposition> worldProps

signature

private static java.util.Set<Proposition> signature

world

private NicePossibleWorld world

Constructor Detail

TestNicePossibleWorld

public TestNicePossibleWorld()

Method Detail

init

public static void init()

initWorld

public void initWorld()

creation

public void creation()

creationFailure

public void creationFailure()

signatureGrow

public void signatureGrow()

signatureShrink

public void signatureShrink()

invalidSignature

public void invalidSignature()