Class TypeModule
- java.lang.Object
-
- ai.libs.jaicore.logic.fol.structure.TypeModule
-
public class TypeModule extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description TypeModule()TypeModule(java.util.Collection<Type> types)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Collection<Type>getAllTypes()java.util.Collection<ConstantParam>getConstants()TypegetConstantType(java.lang.String constant)java.util.List<Type>getListOfAllTypes()TypegetType(java.lang.String nameOfType)voidmerge(TypeModule typeModule)voidsetConstantType(java.lang.String constant, Type type)intsize()java.lang.StringtoString()
-
-
-
Constructor Detail
-
TypeModule
public TypeModule()
-
TypeModule
public TypeModule(java.util.Collection<Type> types)
-
-
Method Detail
-
getType
public Type getType(java.lang.String nameOfType)
-
size
public int size()
-
getAllTypes
public java.util.Collection<Type> getAllTypes()
-
getListOfAllTypes
public java.util.List<Type> getListOfAllTypes()
-
merge
public void merge(TypeModule typeModule)
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
setConstantType
public void setConstantType(java.lang.String constant, Type type)
-
getConstantType
public Type getConstantType(java.lang.String constant)
-
getConstants
public java.util.Collection<ConstantParam> getConstants()
-
-