com.svincent.moksa
Class Builtin.GreaterThan_2

java.lang.Object
  |
  +--com.svincent.moksa.WamObject
        |
        +--com.svincent.moksa.Rule
              |
              +--com.svincent.moksa.Builtin.BuiltinRule
                    |
                    +--com.svincent.moksa.Builtin.ArithmeticComparisonRule
                          |
                          +--com.svincent.moksa.Builtin.GreaterThan_2

Enclosing class:

Builtin

public static class Builtin.GreaterThan_2

extends Builtin.ArithmeticComparisonRule

Greater than

Constructor Summary

Builtin.GreaterThan_2()

Method Summary

boolean	compare(PrologTerm x, PrologTerm y)
java.lang.String	getName() Return the name of this Rule in "atom/arity" notation.

Methods inherited from class com.svincent.moksa.Builtin.ArithmeticComparisonRule

getArity, invokeRule

Methods inherited from class com.svincent.moksa.Builtin.BuiltinRule

getTerm, makeTerm

Methods inherited from class com.svincent.moksa.Rule

invoke, isFirstAlternative, isLastAlternative, isOnlyAlternative, tag

Methods inherited from class com.svincent.moksa.WamObject

tag

Methods inherited from class java.lang.Object

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

Constructor Detail

Builtin.GreaterThan_2

public Builtin.GreaterThan_2()

Method Detail

getName

public java.lang.String getName()

Description copied from class: Rule

Return the name of this Rule in "atom/arity" notation.

Overrides:

getName in class Builtin.ArithmeticComparisonRule

compare

public boolean compare(PrologTerm x,
                       PrologTerm y)
                throws PrologException

Overrides:

compare in class Builtin.ArithmeticComparisonRule