test
Class Eval3

java.lang.Object
  extended by test.Eval3

public class Eval3
extends java.lang.Object

Author:
marco furlan

Field Summary
(package private) static Concept a
           
(package private) static Concept b
           
(package private) static double d
           
(package private) static ULineEvent J
           
(package private) static Individual j1
           
(package private) static Individual j2
           
(package private) static Individual j3
           
protected static KnowledgeBase kb
           
(package private) static ULineEvent M
           
(package private) static java.lang.String name
           
static double NOW
           
(package private) static Quantifier q
           
(package private) static Query qry
           
static double SELF
           
(package private) static ConcreteConcept t
           
(package private) static ULineEvent T
           
(package private) static Individual t1
           
(package private) static Individual t10
           
(package private) static Individual t11
           
(package private) static Individual t12
           
(package private) static Individual t13
           
(package private) static Individual t14
           
(package private) static Individual t15
           
(package private) static Individual t16
           
(package private) static Individual t17
           
(package private) static Individual t18
           
(package private) static Individual t19
           
(package private) static Individual t2
           
(package private) static Individual t20
           
(package private) static Individual t21
           
(package private) static Individual t22
           
(package private) static Individual t23
           
(package private) static Individual t24
           
(package private) static Individual t25
           
(package private) static Individual t26
           
(package private) static Individual t3
           
(package private) static Individual t4
           
(package private) static Individual t5
           
(package private) static Individual t6
           
(package private) static Individual t7
           
(package private) static Individual t8
           
(package private) static Individual t9
           
(package private) static Individual x
           
 
Constructor Summary
Eval3()
           
 
Method Summary
static void init()
           
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NOW

public static double NOW

SELF

public static double SELF

kb

protected static KnowledgeBase kb

T

static ULineEvent T

J

static ULineEvent J

M

static ULineEvent M

x

static Individual x

t1

static Individual t1

t2

static Individual t2

t3

static Individual t3

j1

static Individual j1

j2

static Individual j2

j3

static Individual j3

t4

static Individual t4

t5

static Individual t5

t6

static Individual t6

t7

static Individual t7

t8

static Individual t8

t9

static Individual t9

t10

static Individual t10

t11

static Individual t11

t12

static Individual t12

t13

static Individual t13

t14

static Individual t14

t15

static Individual t15

t16

static Individual t16

t17

static Individual t17

t18

static Individual t18

t19

static Individual t19

t20

static Individual t20

t21

static Individual t21

t22

static Individual t22

t23

static Individual t23

t24

static Individual t24

t25

static Individual t25

t26

static Individual t26

a

static Concept a

b

static Concept b

name

static java.lang.String name

d

static double d

q

static Quantifier q

t

static ConcreteConcept t

qry

static Query qry
Constructor Detail

Eval3

public Eval3()
Method Detail

init

public static void init()

main

public static void main(java.lang.String[] args)
Parameters:
args -
Throws:
java.lang.InterruptedException