Package tools.refinery.logic.dnf

Class DnfUtils

java.lang.Object

tools.refinery.logic.dnf.DnfUtils

public final class DnfUtils
extends Object

Method Summary

Modifier and Type	Method	Description
static String	generateUniqueName(String originalName)

Methods inherited from class java.lang.Object

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

Method Details

generateUniqueName

public static String generateUniqueName(String originalName)