com.ifcomputer.minerva
Class MrvaBipDescr

java.lang.Object
  |
  +--com.ifcomputer.minerva.MrvaBipDescr

public class MrvaBipDescr

extends java.lang.Object

The class MrvaBipDescr is used to declare Minerva predicate, that has been implemented in Java. Instances of this class may be constructed with the help of the minervax program, which generates wrapper functions to Java functions.

Constructor Summary

MrvaBipDescr(java.lang.String name, int arity)
Constructs a description of an externally implemented Minerva predicate.

Method Summary

int	getArity() This function returns the arity of the predicate.
java.lang.String	getName() This function returns the predicate name.

Methods inherited from class java.lang.Object

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

Constructor Detail

MrvaBipDescr

public MrvaBipDescr(java.lang.String name,
                    int arity)

Constructs a description of an externally implemented Minerva predicate.

Parameters:

name - the name of the predicate

arity - the arity of the predicate

Method Detail

getName

public java.lang.String getName()

This function returns the predicate name.

getArity

public int getArity()

This function returns the arity of the predicate.