rules
Class Pred

java.lang.Object
  rules.Pred

public class Pred

extends java.lang.Object

Constructor Summary

Pred(java.lang.String name, Type aType)

Pred(java.lang.String name, Type[] aTypes)

Pred(java.lang.String input, TypeSet t)

Pred(Type[] aTypes)

Method Summary

int	arity()
Concept	getConcept()
java.lang.String	getName()
Type	getType(int i)
Type[]	getTypes()
boolean	hasConcept()
int	hashCode()
static void	main(java.lang.String[] args)
boolean	nameArityEquals(java.lang.String name, int a)
boolean	nameEquals(java.lang.String name)
void	setConcept(Concept c)
java.lang.String	toShortString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Pred

public Pred(Type[] aTypes)

Pred

public Pred(java.lang.String input,
            TypeSet t)

Pred

public Pred(java.lang.String name,
            Type[] aTypes)

Pred

public Pred(java.lang.String name,
            Type aType)

Method Detail

hashCode

public int hashCode()

nameEquals

public boolean nameEquals(java.lang.String name)

nameArityEquals

public boolean nameArityEquals(java.lang.String name,
                               int a)

getName

public java.lang.String getName()

getType

public Type getType(int i)

getTypes

public Type[] getTypes()

toString

public java.lang.String toString()

toShortString

public java.lang.String toShortString()

arity

public int arity()

setConcept

public void setConcept(Concept c)

getConcept

public Concept getConcept()

hasConcept

public boolean hasConcept()

main

public static void main(java.lang.String[] args)