org.provarules.reference2.operators

Class ProvaBinaryLessEqualImpl

java.lang.Object

org.provarules.reference2.operators.ProvaBinaryLessEqualImpl

All Implemented Interfaces:

ProvaBinaryOperator

public class ProvaBinaryLessEqualImpl
extends java.lang.Object
implements ProvaBinaryOperator

Constructor Summary

Constructors

Constructor and Description
ProvaBinaryLessEqualImpl()

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaBinaryLessEqualImpl

public ProvaBinaryLessEqualImpl()

Method Detail

evaluate

public boolean evaluate(ProvaKnowledgeBase kb,
                        java.util.List<ProvaLiteral> newLiterals,
                        ProvaObject o1,
                        ProvaComputable a2)

Specified by:

evaluate in interface ProvaBinaryOperator

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object