orbital.moon.logic
Class FuzzyLogic.OperatorSet

java.lang.Object
  orbital.moon.logic.FuzzyLogic.OperatorSet

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable

Enclosing class:

FuzzyLogic

public abstract static class FuzzyLogic.OperatorSet
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable

Specifies the type of fuzzy logic to use. Instances will define the set of fuzzy logic operators applied.

Author:

André Platzer

See Also:

typesafe enum pattern, Serialized Form

Invariants:

a.equals(b) ⇔ a==b

Constructor Summary

protected

FuzzyLogic.OperatorSet(java.lang.String name)

Method Summary

abstract BinaryFunction	and() Defines the fuzzy AND operator to use in the fuzzy logic.
int	compareTo(java.lang.Object o) Order imposed by ordinals according to the order of creation.
boolean	equals(java.lang.Object that) Maintains the guarantee that all equal objects of the enumerated type are also identical.
int	hashCode()
abstract BinaryFunction	impl() Defines the implication operator to use in the fuzzy logic.
abstract Function	not() Defines the NOT operator to use in the fuzzy logic.
abstract BinaryFunction	or() Defines the fuzzy OR operator to use in the fuzzy logic.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FuzzyLogic.OperatorSet

protected FuzzyLogic.OperatorSet(java.lang.String name)

Method Detail

compareTo

public int compareTo(java.lang.Object o)

Order imposed by ordinals according to the order of creation.

Specified by:

compareTo in interface java.lang.Comparable

Postconditions:

consistent with equals

equals

public final boolean equals(java.lang.Object that)

Maintains the guarantee that all equal objects of the enumerated type are also identical.

Overrides:

equals in class java.lang.Object

Postconditions:

a.equals(b) ⇔ if a==b.

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

not

public abstract Function not()

Defines the NOT operator to use in the fuzzy logic.

Postconditions:

RES==OLD(RES)

and

public abstract BinaryFunction and()

Defines the fuzzy AND operator to use in the fuzzy logic.

Postconditions:

RES==OLD(RES)

or

public abstract BinaryFunction or()

Defines the fuzzy OR operator to use in the fuzzy logic.

Postconditions:

RES==OLD(RES)

impl

public abstract BinaryFunction impl()

Defines the implication operator to use in the fuzzy logic. a→b := sup{c ¦ a⋏c≤b}.

Postconditions:

RES==OLD(RES)