rules
Class Subs

java.lang.Object
  rules.Subs

public class Subs

extends java.lang.Object

Field Summary

static int	APPLICABLE
static int	BAD
static int	UNNEEDED

Constructor Summary

Subs()

Subs(java.util.List flist, java.util.List tlist)

Subs(Subs other)

Subs(Term fTerm, Term tTerm)

Method Summary

Subs	addSubs(Subs s) Adds the elements of the substition s.
Subs	addSubs(Term f, Term t) Adds the substition f/t.
Subs	addSubsFront(Term f, Term t)
Args	apply(Args as)
Term	apply(Term t)
java.util.List	applyAll(Args as)
Args	applyInParallel(Args as)
Args	applyInPlace(Args as)
Term	applyInPlace(Term t)
void	clear()
void	destReverse()
java.util.Iterator	fromIterator()
java.util.List	getFrom()
java.util.List	getTo()
boolean	hasRepeats()
boolean	hasValue(Term t)
boolean	hasValueFor(Term t)
boolean	hasValues(java.util.Set l)
boolean	hasValuesFor(java.util.Set l)
static void	main(java.lang.String[] args)
boolean	mistyped()
boolean	oneToOne()
Subs	overwriteSubs(Subs s)
void	removeFirstSubs()
void	removeLastSubs()
Subs	removeSubs(Term f)
Subs	reverse()
void	setLists(java.util.List f, java.util.List t)
Term	shallowValueFor(Term t)
int	size()
java.lang.String	toString()
Term	valueFor(Term t)
java.util.List	valuesFor(Term t)

Methods inherited from class java.lang.Object

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

Field Detail

APPLICABLE

public static int APPLICABLE

BAD

public static int BAD

UNNEEDED

public static int UNNEEDED

Constructor Detail

Subs

public Subs()

Subs

public Subs(Term fTerm,
            Term tTerm)

Subs

public Subs(java.util.List flist,
            java.util.List tlist)

Subs

public Subs(Subs other)

Method Detail

mistyped

public boolean mistyped()

oneToOne

public boolean oneToOne()

apply

public Term apply(Term t)

apply

public Args apply(Args as)

applyAll

public java.util.List applyAll(Args as)

applyInPlace

public Term applyInPlace(Term t)

applyInPlace

public Args applyInPlace(Args as)

applyInParallel

public Args applyInParallel(Args as)

valueFor

public Term valueFor(Term t)

shallowValueFor

public Term shallowValueFor(Term t)

valuesFor

public java.util.List valuesFor(Term t)

hasValueFor

public boolean hasValueFor(Term t)

hasValue

public boolean hasValue(Term t)

hasValuesFor

public boolean hasValuesFor(java.util.Set l)

hasValues

public boolean hasValues(java.util.Set l)

hasRepeats

public boolean hasRepeats()

addSubs

public Subs addSubs(Term f,
                    Term t)

Adds the substition f/t. if there is already a substitution for f it is overwritten.

addSubsFront

public Subs addSubsFront(Term f,
                         Term t)

addSubs

public Subs addSubs(Subs s)

Adds the elements of the substition s.

clear

public void clear()

getFrom

public java.util.List getFrom()

getTo

public java.util.List getTo()

fromIterator

public java.util.Iterator fromIterator()

overwriteSubs

public Subs overwriteSubs(Subs s)

removeSubs

public Subs removeSubs(Term f)

removeLastSubs

public void removeLastSubs()

removeFirstSubs

public void removeFirstSubs()

destReverse

public void destReverse()

reverse

public Subs reverse()

setLists

public void setLists(java.util.List f,
                     java.util.List t)

size

public int size()

toString

public java.lang.String toString()

main

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