Class FormulaTester

java.lang.Object

FormulaTester

public class FormulaTester
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static KripkeModel	km

Constructor Summary

Constructors

Constructor and Description
FormulaTester()

Method Summary

Modifier and Type	Method and Description
static void	init()
static void	init(int[][] array)
static void	main(java.lang.String[] args)
static void	print(java.lang.String name, Formula test)
static java.util.HashSet<java.lang.Integer>	set(int... agents)

Methods inherited from class java.lang.Object

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

Field Detail

km

static KripkeModel km

Constructor Detail

FormulaTester

public FormulaTester()

Method Detail

set

public static java.util.HashSet<java.lang.Integer> set(int... agents)

print

public static void print(java.lang.String name,
                         Formula test)

init

public static void init(int[][] array)

init

public static void init()

main

public static void main(java.lang.String[] args)