All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Predicate 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.Predicate
public class Predicate
extends KL1Object
This class represents a predicate.

Author:
Satoshi KURAMOCHI

Variable Index

o arity
the number of args
o func
the module where the predicate defined.
o pred
the predicate number

Constructor Index

o Predicate(Module, int, int)
Constructs a predicate.

Method Index

o equals(Predicate)
o toString()

Variables

o func 
 public Module func
the module where the predicate defined.

o pred 
 public int pred
the predicate number

o arity 
 public int arity
the number of args

Constructors

o Predicate 
 public Predicate(Module func,
                  int pred,
                  int arity)
Constructs a predicate.

Parameters:
func - the module where the predicate defined.
pred - the predicate number.
arity - the number of arguments.

Methods

o toString 
 public String toString()
Overrides:
toString in class KL1Object
o equals 
 public boolean equals(Predicate that)

All Packages  Class Hierarchy  This Package  Previous  Next  Index