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()
Type
getConstantType(java.lang.String constant)
java.util.List<Type>
getListOfAllTypes()
Type
getType(java.lang.String nameOfType)
void
merge(TypeModule typeModule)
void
setConstantType(java.lang.String constant, Type type)
int
size()
java.lang.String
toString()
-
-
-
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:
toString
in 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()
-
-