ai.libs.jaicore.logic.fol.structure

Class TypeModule

java.lang.Object

ai.libs.jaicore.logic.fol.structure.TypeModule

public class TypeModule
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TypeModule()
TypeModule(java.util.Collection<Type> types)

Method Summary

Modifier and Type	Method and 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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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 class java.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()