reasoner
Class Eval2
java.lang.Object
reasoner.Eval2
public class Eval2
- extends java.lang.Object
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 |
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
Eval2
public Eval2()
main
public static void main(java.lang.String[] args)
initialize
private static void initialize()