Package tools.refinery.logic.substitution

Class SubstitutionBuilder

java.lang.Object

tools.refinery.logic.substitution.SubstitutionBuilder

public class SubstitutionBuilder
extends Object

Method Summary

Modifier and Type	Method	Description
Substitution	build()
SubstitutionBuilder	fallback(Substitution newFallback)
SubstitutionBuilder	partial()
<T> SubstitutionBuilder	put(DataVariable<T> original, DataVariable<T> substitute)
SubstitutionBuilder	put(NodeVariable original, NodeVariable substitute)
SubstitutionBuilder	putChecked(Variable original, Variable substitute)
SubstitutionBuilder	putManyChecked(List<Variable> originals, List<Variable> substitutes)
SubstitutionBuilder	renewing()
SubstitutionBuilder	total()

Methods inherited from class java.lang.Object

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

Method Details

put

public SubstitutionBuilder put(NodeVariable original,
 NodeVariable substitute)

put

public <T> SubstitutionBuilder put(DataVariable<T> original,
 DataVariable<T> substitute)

putChecked

public SubstitutionBuilder putChecked(Variable original,
 Variable substitute)

putManyChecked

public SubstitutionBuilder putManyChecked(List<Variable> originals,
 List<Variable> substitutes)

fallback

public SubstitutionBuilder fallback(Substitution newFallback)

total

public SubstitutionBuilder total()

partial

public SubstitutionBuilder partial()

renewing

public SubstitutionBuilder renewing()

build

public Substitution build()