rules
Class Args

java.lang.Object
  rules.Args

All Implemented Interfaces:

java.lang.Cloneable

public class Args

extends java.lang.Object

implements java.lang.Cloneable

Method Summary

boolean	allConsts()
Args	apply(Subs s)
boolean	areNotTypesOf(Type[] ts)
boolean	areNotTypesOf(Type[] ts, Subs s)
int	arity()
java.lang.Object	clone()
boolean	contains(Term t)
boolean	equals(Args as)
boolean	equals(Args as, Subs s)
boolean	equals(java.lang.Object as)
boolean	firstEquals(Args as)
void	fixTypesOf(Type[] ts)
Var	freeVar(java.util.List boundVars)
Var	freeVar(java.util.Set boundVars)
Term	getArg(int i)
java.util.Set	getConsts()
Term	getFirst()
Term	getSecond()
java.util.Set	getVars()
boolean	hasConsts()
boolean	hasFreeVars()
boolean	hasFreeVars(Subs s)
int	hashCode()
boolean	hasTerm(Term t)
int	numOccurs(Term t)
boolean	occurs(Term t)
boolean	secondEquals(Args as)
void	setArg(int i, Term t)
void	setArgs(Args a)
void	setArgs(Lang l, Type[] ts, java.util.Random r)
void	setFirst(Term t)
void	setSecond(Term t)
int	size()
java.lang.String	toFileString()
java.lang.String	toShortString()
java.lang.String	toSimString()
java.lang.String	toString()
Subs	unify(Args as, Subs s, Type[] ts)

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

setArgs

public void setArgs(Lang l,
                    Type[] ts,
                    java.util.Random r)

setArgs

public void setArgs(Args a)

clone

public java.lang.Object clone()

freeVar

public Var freeVar(java.util.List boundVars)

freeVar

public Var freeVar(java.util.Set boundVars)

equals

public boolean equals(Args as)

equals

public boolean equals(java.lang.Object as)

equals

public boolean equals(Args as,
                      Subs s)

fixTypesOf

public void fixTypesOf(Type[] ts)

areNotTypesOf

public boolean areNotTypesOf(Type[] ts)

areNotTypesOf

public boolean areNotTypesOf(Type[] ts,
                             Subs s)

firstEquals

public boolean firstEquals(Args as)

setFirst

public void setFirst(Term t)

getFirst

public Term getFirst()

secondEquals

public boolean secondEquals(Args as)

setSecond

public void setSecond(Term t)

getSecond

public Term getSecond()

size

public int size()

allConsts

public boolean allConsts()

occurs

public boolean occurs(Term t)

numOccurs

public int numOccurs(Term t)

arity

public int arity()

getArg

public Term getArg(int i)

setArg

public void setArg(int i,
                   Term t)

getVars

public java.util.Set getVars()

getConsts

public java.util.Set getConsts()

hasConsts

public boolean hasConsts()

apply

public Args apply(Subs s)

unify

public Subs unify(Args as,
                  Subs s,
                  Type[] ts)

hashCode

public int hashCode()

hasFreeVars

public boolean hasFreeVars()

hasFreeVars

public boolean hasFreeVars(Subs s)

hasTerm

public boolean hasTerm(Term t)

contains

public boolean contains(Term t)

toString

public java.lang.String toString()

toSimString

public java.lang.String toSimString()

toFileString

public java.lang.String toFileString()

toShortString

public java.lang.String toShortString()