Package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.utils

Class PredicateNamingUtils

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.processes.utils.PredicateNamingUtils

public class PredicateNamingUtils
extends Object

Method Summary

Modifier and Type	Method	Description
static String	createNewAuxPredicateName(ImmutableAtomList head, Set<String> usedPredicateNames, String auxPredicateNameSuffix)
static Set<String>	obtainPredicateNames(DependencySchema schema)
static String	upperCaseTheFirstCharacter(String string)

Methods inherited from class java.lang.Object

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

Method Details

obtainPredicateNames

public static Set<String> obtainPredicateNames(DependencySchema schema)

createNewAuxPredicateName

public static String createNewAuxPredicateName(ImmutableAtomList head,
 Set<String> usedPredicateNames,
 String auxPredicateNameSuffix)

upperCaseTheFirstCharacter

public static String upperCaseTheFirstCharacter(String string)