Uses of Class
uk.ac.manchester.cs.jfact.datatypes.DatatypeClashes

Packages that use DatatypeClashes

Package	Description
uk.ac.manchester.cs.jfact.datatypes

Uses of DatatypeClashes in uk.ac.manchester.cs.jfact.datatypes

Methods in uk.ac.manchester.cs.jfact.datatypes that return DatatypeClashes

Modifier and Type	Method and Description
static DatatypeClashes	DatatypeClashes.valueOf(String name) Returns the enum constant of this type with the specified name.
static DatatypeClashes[]	DatatypeClashes.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in uk.ac.manchester.cs.jfact.datatypes with parameters of type DatatypeClashes

Modifier and Type	Method and Description
void	DataTypeReasoner.reportClash(DepSet dep, DatatypeClashes reason) set clash dep-set to DEP, report with given REASON
void	DataTypeReasoner.reportClash(DepSet dep1, DepSet dep2, DatatypeClashes reason) set clash dep-set to DEP, report with given REASON