jeops.examples.monkeys
Class TestMonkeys

java.lang.Object
  |
  +--jeops.examples.monkeys.TestMonkeys

public class TestMonkeys

extends java.lang.Object

implements Constants

Class used to test the monkey and bananas implementation.

Author:

Carlos Figueira Filho (csff@cin.ufpe.br)

Field Summary

(package private) static jeops.examples.monkeys.MonkeysBase

mb The knowledge base.

Fields inherited from interface jeops.examples.monkeys.Constants

ACTIVE, AT, CEILING, FLOOR, HEAVY, HOLD, LIGHT, ON, SATISFIED

Constructor Summary

TestMonkeys()

Method Summary

private static void	general() Generates the general instance of the problem.
private static void	generalOnLadder() Generates a general instance of the problem, where the monkey is on a ladder.
private static void	generalOnLadder2() Generates a second general instance of the problem, where the monkey is on a ladder.
private static void	generalOnLadderImpossible() Generates an impossible goal.
static void	main(java.lang.String[] args) Tests the application.
private static void	testAtMonkey() Instance of the problem used to test rule "atMonkey"
private static void	testAtMonkeyObject() Instance of the problem used to test rule "atMonkeyObject"
private static void	testAtObject() Instance of the problem used to test rule "atObject"
private static void	testHoldsNil() Instance of the problem used to test rule "holdsNil"
private static void	testHoldsObjectCeiling() Instance of the problem used to test rule "holdsObjectCeiling"
private static void	testHoldsObjectCeiling2() Second instance of the problem used to test rule "holdsObjectCeiling"
private static void	testHoldsObjectCeilingAtObj() Instance of the problem used to test rule "holdsObjectCeilingAtObj"
private static void	testHoldsObjectNotCeilingOnLadder() Instance of the problem used to test rule "holdsObjectNotCeilingOnLadder"
private static void	testOn() Instance of the problem used to test an ON goal
private static void	testOnFloor() Instance of the problem used to test rule "onFloor"
private static void	testOnFloorSatisfied() Instance of the problem used to test rule "onFloorSatisfied"
private static void	testOnPhysicalObject() Instance of the problem used to test rule "onPhysicalObject"
private static void	testOnPhysicalObjectAtMonkey() Instance of the problem used to test rule "onPhysicalObjectAtMonkey"
private static void	testOnPhysicalObjectHold() Instance of the problem used to test rule "onPhysicalObjectHold"
private static void	testOnPhysicalObjectSatisfied() Instance of the problem used to test rule "onPhysicalObjectSatisfied"

Methods inherited from class java.lang.Object

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

Field Detail

mb

static jeops.examples.monkeys.MonkeysBase mb

The knowledge base.

Constructor Detail

TestMonkeys

public TestMonkeys()

Method Detail

general

private static void general()

Generates the general instance of the problem.

generalOnLadder

private static void generalOnLadder()

Generates a general instance of the problem, where the monkey is on a ladder.

generalOnLadder2

private static void generalOnLadder2()

Generates a second general instance of the problem, where the monkey is on a ladder.

generalOnLadderImpossible

private static void generalOnLadderImpossible()

Generates an impossible goal.

main

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

Tests the application.

testAtMonkey

private static void testAtMonkey()

Instance of the problem used to test rule "atMonkey"

testAtMonkeyObject

private static void testAtMonkeyObject()

Instance of the problem used to test rule "atMonkeyObject"

testAtObject

private static void testAtObject()

Instance of the problem used to test rule "atObject"

testHoldsNil

private static void testHoldsNil()

Instance of the problem used to test rule "holdsNil"

testHoldsObjectCeiling

private static void testHoldsObjectCeiling()

Instance of the problem used to test rule "holdsObjectCeiling"

testHoldsObjectCeiling2

private static void testHoldsObjectCeiling2()

Second instance of the problem used to test rule "holdsObjectCeiling"

testHoldsObjectCeilingAtObj

private static void testHoldsObjectCeilingAtObj()

Instance of the problem used to test rule "holdsObjectCeilingAtObj"

testHoldsObjectNotCeilingOnLadder

private static void testHoldsObjectNotCeilingOnLadder()

Instance of the problem used to test rule "holdsObjectNotCeilingOnLadder"

testOn

private static void testOn()

Instance of the problem used to test an ON goal

testOnFloor

private static void testOnFloor()

Instance of the problem used to test rule "onFloor"

testOnFloorSatisfied

private static void testOnFloorSatisfied()

Instance of the problem used to test rule "onFloorSatisfied"

testOnPhysicalObject

private static void testOnPhysicalObject()

Instance of the problem used to test rule "onPhysicalObject"

testOnPhysicalObjectAtMonkey

private static void testOnPhysicalObjectAtMonkey()

Instance of the problem used to test rule "onPhysicalObjectAtMonkey"

testOnPhysicalObjectHold

private static void testOnPhysicalObjectHold()

Instance of the problem used to test rule "onPhysicalObjectHold"

testOnPhysicalObjectSatisfied

private static void testOnPhysicalObjectSatisfied()

Instance of the problem used to test rule "onPhysicalObjectSatisfied"