|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Lambda Term reducer.
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. |
Method Detail |
public Term normalForm(Term term) throws TooMuchReductionStepException
term
- a Term.
java.lang.IllegalArgumentException
- if the given term has free variable(s).
TooMuchReductionStepException
- if the given step max count is not enough.public boolean booleanValue(Term booleanTerm)
java.lang.IllegalArgumentException
- if the given Term has free variable(s) or doesn't represent a
boolean value.public long numeralValue(Term numeralTerm)
java.lang.IllegalArgumentException
- if the given term has free variable(s).
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |