Test Class Reference

List of all members.

Classes
class	QueryThread
Static Public Member Functions
static void	main (java.lang.String argv[])
Static Package Functions
static void	run_tests ()
static void	test_0 ()
static void	test_1 ()
static void	test_10 ()
static void	test_101 ()
static void	test_11 ()
static void	test_2 ()
static void	test_3 ()
static void	test_4 ()
static void	test_5 ()
static void	test_6 ()
static void	test_7 ()
static void	test_8 ()
static void	test_9 ()
Static Package Attributes
static Term	a
static Term	b
static Term	f_a
static Term	pair_a_b
static Term	test_9_solution

---

Detailed Description

Definition at line 34 of file examples/java/Test/Test.java.

---

Member Function Documentation

static void Test::main

(

java.lang.String

argv[]

)

[inline, static]

Definition at line 37 of file examples/java/Test/Test.java.

static void Test::run_tests

(

)

[inline, static, package]

Definition at line 45 of file examples/java/Test/Test.java.

static void Test::test_0

(

)

[inline, static, package]

Definition at line 64 of file examples/java/Test/Test.java.

static void Test::test_1

(

)

[inline, static, package]

Definition at line 94 of file examples/java/Test/Test.java.

static void Test::test_10

(

)

[inline, static, package]

Definition at line 418 of file examples/java/Test/Test.java.

static void Test::test_101

(

)

[inline, static, package]

Definition at line 507 of file examples/java/Test/Test.java.

static void Test::test_11

(

)

[inline, static, package]

Definition at line 437 of file examples/java/Test/Test.java.

static void Test::test_2

(

)

[inline, static, package]

Definition at line 108 of file examples/java/Test/Test.java.

static void Test::test_3

(

)

[inline, static, package]

Definition at line 125 of file examples/java/Test/Test.java.

static void Test::test_4

(

)

[inline, static, package]

Definition at line 142 of file examples/java/Test/Test.java.

static void Test::test_5

(

)

[inline, static, package]

Definition at line 177 of file examples/java/Test/Test.java.

static void Test::test_6

(

)

[inline, static, package]

Definition at line 220 of file examples/java/Test/Test.java.

static void Test::test_7

(

)

[inline, static, package]

Definition at line 254 of file examples/java/Test/Test.java.

static void Test::test_8

(

)

[inline, static, package]

Definition at line 319 of file examples/java/Test/Test.java.

static void Test::test_9

(

)

[inline, static, package]

Definition at line 366 of file examples/java/Test/Test.java.

---

Member Data Documentation

Term Test::a [static, package]

Initial value:

 
                new Atom( "a" )

Definition at line 78 of file examples/java/Test/Test.java.

Term Test::b [static, package]

Initial value:

 
                new Atom( "b" )

Definition at line 80 of file examples/java/Test/Test.java.

Term Test::f_a [static, package]

Initial value:

 
                new Compound(
                        "f",
                        new Term[] {a}
                )

Definition at line 82 of file examples/java/Test/Test.java.

Term Test::pair_a_b [static, package]

Initial value:

                new Compound(
                        "-",
                        new Term[] {a,b}
                )

Definition at line 87 of file examples/java/Test/Test.java.

Term Test::test_9_solution [static, package]

Initial value:

                Util.termArrayToList(
                        new Term[] {
                                new Compound( "-", new Term[] {a,a}),
                                new Compound( "-", new Term[] {a,b})
                        }
                )

Definition at line 357 of file examples/java/Test/Test.java.

---

The documentation for this class was generated from the following file:

• examples/java/Test/Test.java