Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Class NewFreshVariableFactory

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NewFreshVariableFactory

public class NewFreshVariableFactory
extends Object

Utils class for generating new Variables.

Method Summary

Modifier and Type	Method	Description
static Variable	createEnumeratedNewFreshVariable(String variableNamePrefix, Set<Variable> usedVariables)
static Variable	createNewFreshVariable(String variableNamePrefix, Set<Variable> usedVariables)

Methods inherited from class java.lang.Object

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

Method Details

createNewFreshVariable

public static Variable createNewFreshVariable(String variableNamePrefix,
 Set<Variable> usedVariables)

createEnumeratedNewFreshVariable

public static Variable createEnumeratedNewFreshVariable(String variableNamePrefix,
 Set<Variable> usedVariables)