$ A B C D E F G H I J L M N O P R S T V

R

RAN_PRINT_SEPARATOR - Static variable in class at.jku.risc.stout.hoau.algo.Substitution

Default = "; "

reduce(int) - Method in class at.jku.risc.stout.hoau.data.Hedge

reduce(int) - Method in class at.jku.risc.stout.hoau.data.LambdaHedge

reduce(int) - Method in class at.jku.risc.stout.hoau.data.TermNode

Perform beta reduction with the given upper bound for recursion repetition to avoid endless recursion in untyped calculus.

reduceHedges() - Method in class at.jku.risc.stout.hoau.data.TermNode

Reduce unnecessary leading hedges.

reset() - Method in class at.jku.risc.stout.hoau.algo.PermEquivSystem

resetCounter() - Static method in class at.jku.risc.stout.hoau.data.NodeFactory

$ A B C D E F G H I J L M N O P R S T V