Package ai.libs.jaicore.logic.fol.util
Class TypeUtil
- java.lang.Object
-
- ai.libs.jaicore.logic.fol.util.TypeUtil
-
public class TypeUtil extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
GODFATHER_TYPE
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
defineGodfatherDataTypes(Literal l)
static void
defineGodfatherDataTypes(java.util.List<? extends Literal> m)
static void
defineGodfatherDataTypes(java.util.Set<? extends Literal> m)
static void
setTypeModule(TypeModule typeModule)
-
-
-
Field Detail
-
GODFATHER_TYPE
public static final java.lang.String GODFATHER_TYPE
- See Also:
- Constant Field Values
-
-
Method Detail
-
setTypeModule
public static void setTypeModule(TypeModule typeModule)
-
defineGodfatherDataTypes
public static void defineGodfatherDataTypes(Literal l)
-
defineGodfatherDataTypes
public static void defineGodfatherDataTypes(java.util.Set<? extends Literal> m)
-
defineGodfatherDataTypes
public static void defineGodfatherDataTypes(java.util.List<? extends Literal> m)
-
-