omnics
Class ClassicalValuation

java.lang.Object
  omnics.ClassicalValuation

All Implemented Interfaces:

java.io.Serializable, ValuationStructure

public class ClassicalValuation
extends java.lang.Object
implements ValuationStructure, java.io.Serializable

CSP Valuation Structure. E={true, false}, +=logical AND, true < false

Author:

Cristian Frasinaru

See Also:

Serialized Form

Field Summary

Fields inherited from interface omnics.ValuationStructure

ALLOWED, FORBIDDEN, MAX, MIN

Constructor Summary

ClassicalValuation()
Creates a new instance of ClassicalValuation

Method Summary

int	compareTo(int a, int b) ALLOWED < FORBIDDEN
int	plus(int a, int b) Logical AND

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassicalValuation

public ClassicalValuation()

Creates a new instance of ClassicalValuation

Method Detail

plus

public int plus(int a,
                int b)

Logical AND

Specified by:

plus in interface ValuationStructure

compareTo

public int compareTo(int a,
                     int b)

ALLOWED < FORBIDDEN

Specified by:

compareTo in interface ValuationStructure