net.sf.tweety.logics.cl.kappa

Class KappaMin

java.lang.Object

net.sf.tweety.logics.cl.kappa.KappaMin

All Implemented Interfaces:

KappaTerm

public class KappaMin
extends java.lang.Object
implements KappaTerm

This class represents a minimum, its elements are KappaTerm instances although in c-representation this are sums of Kappas KappaSum. If it is empty it is evaluated to zero.

Author:

Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.util.List<KappaTerm>	elements This list contains the elements of the minimum
(package private) int	smallestEvaluate
(package private) int	smallestGreaterEqual
(package private) int	value The value of the kappa minimum, is -1 as long as it cannot be evaluated

Constructor Summary

Constructors

Constructor and Description
KappaMin()

Method Summary

Modifier and Type	Method and Description
boolean	evaluate() Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.
java.util.Set<KappaTerm>	getSubTerms() Processes all the sub-terms
int	greaterEqualThan()
java.lang.String	toString()
int	value() The neutral element is zero, that means if the minimum is empty this method returns zero.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

smallestGreaterEqual

int smallestGreaterEqual

smallestEvaluate

int smallestEvaluate

value

int value

The value of the kappa minimum, is -1 as long as it cannot be evaluated

elements

java.util.List<KappaTerm> elements

This list contains the elements of the minimum

Constructor Detail

KappaMin

public KappaMin()

Method Detail

evaluate

public boolean evaluate()

Description copied from interface: KappaTerm

Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.

Specified by:

evaluate in interface KappaTerm

Returns:

True if the evaluation is sucessful, false otherwise

value

public int value()

The neutral element is zero, that means if the minimum is empty this method returns zero.

Specified by:

value in interface KappaTerm

Returns:

The value of this kappa term or -1 if the kappa-term's evaluate() method returns false.

greaterEqualThan

public int greaterEqualThan()

Specified by:

greaterEqualThan in interface KappaTerm

Returns:

The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getSubTerms

public java.util.Set<KappaTerm> getSubTerms()

Description copied from interface: KappaTerm

Processes all the sub-terms

Specified by:

getSubTerms in interface KappaTerm

Returns:

A set containing all the sub-terms of the kappa term