All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.lib.is_2

java.lang.Object
   |
   +----prolog.Predicate
           |
           +----prolog.CompiledPredicate
                   |
                   +----prolog.lib.is_2

public class is_2
extends CompiledPredicate
is/2: Arithmetic evaluation. Success occurs iff the first argument is unifiable with the result of arithmetically evaluating the second (which is assumed to be a valid expression on pain of a ArgumentException).

See Also:
is_equal_2, is_not_equal_2

Variable Index

 o functor

Constructor Index

 o is_2()

Method Index

 o compile_call(ClauseCodeGen, Term[], boolean)
Compiles a call to this predicate.
 o eval(Compound)
Evaluates an expression tree.
 o exec(Term[], Prolog)
Implements the functionality of the call.

Variables

 o functor
 public static final String functor

Constructors

 o is_2
 public is_2()

Methods

 o exec
 public boolean exec(Term args[],
                     Prolog p) throws ArgumentException
Implements the functionality of the call.

Overrides:
exec in class CompiledPredicate
 o eval
 public static Numeric eval(Compound t) throws ArgumentException
Evaluates an expression tree. We let other classes use this method to evaluate their arguments.

 o compile_call
 public boolean compile_call(ClauseCodeGen ccg,
                             Term args[],
                             boolean lastcall)
Compiles a call to this predicate.

Overrides:
compile_call in class Predicate

All Packages  Class Hierarchy  This Package  Previous  Next  Index