reasoner
Class Eval2

java.lang.Object
  extended by reasoner.Eval2

public class Eval2
extends java.lang.Object


Field Summary
private static Concept c
           
private static Quantifier dif
           
private static java.util.TreeSet<java.lang.Double> lambda
           
private static java.lang.Double maxval
           
private static Quantifier p
           
private static Quantifier q
           
private static Quantifier q1
           
private static Role r
           
private static Role r_c
           
private static Quantifier rat
           
private static java.lang.Double sigma
           
private static Quantifier sum
           
 
Constructor Summary
Eval2()
           
 
Method Summary
private static void initialize()
           
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

q

private static Quantifier q

q1

private static Quantifier q1

p

private static Quantifier p

rat

private static Quantifier rat

sum

private static Quantifier sum

dif

private static Quantifier dif

r

private static Role r

r_c

private static Role r_c

c

private static Concept c

lambda

private static java.util.TreeSet<java.lang.Double> lambda

sigma

private static java.lang.Double sigma

maxval

private static java.lang.Double maxval
Constructor Detail

Eval2

public Eval2()
Method Detail

main

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

initialize

private static void initialize()