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

Packages that use DatatypeEntry

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

Uses of DatatypeEntry in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type DatatypeEntry

Modifier and Type	Method and Description
int	TBox.addDataExprToHeap(DatatypeEntry p)