|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xmloperator.lambda2.net.impl.TermReducerImpl
TermReducer implementation.
Constructor Summary | |
TermReducerImpl(int maxStepCount,
int[] interactionStat)
Constructor of TermReducer. |
Method Summary | |
boolean |
booleanValue(Term booleanTerm)
Returns the boolean value of the given Term, if it represents a boolean. |
Term |
normalForm(Term term)
Returns the normal form, if it exists, of the given Term. |
long |
numeralValue(Term numeralTerm)
Returns the Church numeral value represented by the given Term if it represents one, elsewhere returns -1L. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public TermReducerImpl(int maxStepCount, int[] interactionStat)
interactionStat
- an array of interaction type count. May be null.Method Detail |
public Term normalForm(Term term) throws TooMuchReductionStepException
TermReducer
normalForm
in interface TermReducer
term
- a Term.
TooMuchReductionStepException
- if the given step max count is not enough.public boolean booleanValue(Term booleanTerm)
TermReducer
booleanValue
in interface TermReducer
public long numeralValue(Term numeralTerm)
TermReducer
numeralValue
in interface TermReducer
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |