• Class
    This class builds the initial kappa value list for a given conditional structure.
    This class represents a minimum, its elements are KappaTerm instances although in c-representation this are sums of Kappas KappaSum.
    This constructs represents a sum of kappa values (or terms).
    This interface defines a kappa term, that can be evaluated, it can return its value, which is -1 as long as the kappa-term cannot be evaluated and it can return a value for that we know that the kappa-term value is greatar or equal to that value.
    Represents a Kappa-Value for the c-revision, it contains two KappaMin instances, both KappaValue and KappaMin implement the KappaTerm interface.