Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Class SubstitutionBuilder

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.SubstitutionBuilder

public class SubstitutionBuilder
extends Object

Constructor Summary

Constructors

Constructor	Description
SubstitutionBuilder()

Method Summary

Modifier and Type	Method	Description
SubstitutionBuilder	addMapping(String domainVariableName, String rangeTermName)
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution	build()

Methods inherited from class java.lang.Object

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

Constructor Details

SubstitutionBuilder

public SubstitutionBuilder()

Method Details

addMapping

public SubstitutionBuilder addMapping(String domainVariableName,
 String rangeTermName)

build

public edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations.Substitution build()