net.sf.tweety.math.func.fuzzy

Class BoundedSum

java.lang.Object

net.sf.tweety.math.func.fuzzy.TCoNorm

net.sf.tweety.math.func.fuzzy.BoundedSum

All Implemented Interfaces:

BinaryFunction<Double,Double,Double>

public class BoundedSum
extends TCoNorm

Represents the bounded sum in fuzzy logic, i.e., S(x,y)=min(x+y,1)

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
BoundedSum()

Method Summary

Modifier and Type	Method and Description
Double	eval(Double val1, Double val2) Evaluates the function for the given elements.
Term	evalTerm(Term val1, Term val2) Gives a representation of this conorm as a mathematical term
TNorm	getDualNorm() Returns the dual T-norm of this T-conorm.
boolean	isNilpotent() A T-conorm is nilpotent if there are x,y<1 with s(x,y)=1

Methods inherited from class net.sf.tweety.math.func.fuzzy.TCoNorm

eval, evalTerm

Methods inherited from class java.lang.Object

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

Constructor Detail

BoundedSum

public BoundedSum()

Method Detail

eval

public Double eval(Double val1,
                   Double val2)

Description copied from interface: BinaryFunction

Evaluates the function for the given elements.

Specified by:

eval in interface BinaryFunction<Double,Double,Double>

Specified by:

eval in class TCoNorm

Parameters:

val1 - some element

val2 - some element

Returns:

the value of the element.

getDualNorm

public TNorm getDualNorm()

Description copied from class: TCoNorm

Returns the dual T-norm of this T-conorm.

Specified by:

getDualNorm in class TCoNorm

Returns:

evalTerm

public Term evalTerm(Term val1,
                     Term val2)

Description copied from class: TCoNorm

Gives a representation of this conorm as a mathematical term

Specified by:

evalTerm in class TCoNorm

Parameters:

val1 - the term denoting the first parameter

val2 - the term denoting the second parameter

Returns:

the term denoting this conorm evaluation on the two terms

isNilpotent

public boolean isNilpotent()

Description copied from class: TCoNorm

A T-conorm is nilpotent if there are x,y<1 with s(x,y)=1

Specified by:

isNilpotent in class TCoNorm

Returns:

true if the conorm is nilpotent