Package hydra

Class Reduction

java.lang.Object

hydra.Reduction

public class Reduction
extends java.lang.Object

Method Summary

Modifier and Type	Method	Description
static Flow<Graph,Term>	reduce(boolean eager, Term term)
static Term	replaceFreeName(Name toReplace, Term replacement, Term body)	Replace occurrences of a free variable (name) in a term with a given term.

Methods inherited from class java.lang.Object

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

Method Detail

reduce

public static Flow<Graph,Term> reduce(boolean eager,
                                            Term term)

replaceFreeName

public static Term replaceFreeName(Name toReplace,
                                   Term replacement,
                                   Term body)

Replace occurrences of a free variable (name) in a term with a given term.