io.github.prolobjectlink.prolog.jtrolog

Class PrologQueryTest

java.lang.Object

io.github.prolobjectlink.prolog.jtrolog.PrologBaseTest

io.github.prolobjectlink.prolog.jtrolog.PrologQueryTest

public class PrologQueryTest
extends PrologBaseTest

Field Summary

Fields inherited from class io.github.prolobjectlink.prolog.jtrolog.PrologBaseTest

administration, allSolutionMap, ann, aureo, bear, board, bob, cat, chapman, claessen, cohn, department, different, dpto, dptoName, duffy, eight, elephant, employee, empty, euler, expecteds0, expecteds1, expecteds2, expecteds3, expecteds4, expecteds5, expecteds6, famillyAllSolutionMap, famillySolutionMap, female, five, fiveThousand, four, fourThousand, fourThousandFiveHundred, gauss, grandparent, human_resources, jim, liz, male, manager, mcardon, money, mother, name, nil, nine, offspring, one, pam, parent, pat, petersen, pi, predecessor, production, provider, salary, scale, seven, sister, six, solution, solutionMap, technical_services, ten, thousand, thousandFiveHundred, three, threeThousand, threeThousandFiveHundred, tom, treeman, two, twoThousand, twoThousandFiveHundred, x, y, z, zero

Constructor Summary

Constructors

Constructor and Description
PrologQueryTest()

Method Summary

Modifier and Type	Method and Description
void	setUp()
void	tearDown()
void	testAllSolutions()
void	testAllVariablesSolutions()
void	testGetEngine()
void	testHasMoreSolutions()
void	testHasSolution()
void	testNextSolution()
void	testNextVariablesSolution()
void	testNSolutions()
void	testNVariablesSolutions()
void	testOneSolution()
void	testOneVariablesSolution()

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologQueryTest

public PrologQueryTest()

Method Detail

setUp

public final void setUp()
                 throws Exception

Throws:

Exception

tearDown

public final void tearDown()
                    throws Exception

Throws:

Exception

testGetEngine

public final void testGetEngine()

testHasSolution

public final void testHasSolution()

testHasMoreSolutions

public final void testHasMoreSolutions()

testOneSolution

public final void testOneSolution()

testOneVariablesSolution

public final void testOneVariablesSolution()

testNextSolution

public final void testNextSolution()

testNextVariablesSolution

public final void testNextVariablesSolution()

testNSolutions

public final void testNSolutions()

testNVariablesSolutions

public final void testNVariablesSolutions()

testAllSolutions

public final void testAllSolutions()

testAllVariablesSolutions

public final void testAllVariablesSolutions()