ro.mosc.reco.algebra
Class Signature

java.lang.Object
  ro.mosc.reco.algebra.Signature

public class Signature
extends java.lang.Object

Signature for universal algebras. Contains a list of sorts and a list of relation's signature (relations as general cases of functions).

Field Summary

private java.util.List<RelationSignature>	relationSignatures
private java.util.List<java.lang.Class>	sorts

Constructor Summary

Signature()

Method Summary

java.util.List<RelationSignature>	getRelationSignatures()
java.util.List<java.lang.Class>	getSorts()
void	setRelationSignatures(java.util.List<RelationSignature> relationSignatures)
void	setSorts(java.util.List<java.lang.Class> sorts)

Methods inherited from class java.lang.Object

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

Field Detail

sorts

private java.util.List<java.lang.Class> sorts

relationSignatures

private java.util.List<RelationSignature> relationSignatures

Constructor Detail

Signature

public Signature()

Method Detail

getSorts

public java.util.List<java.lang.Class> getSorts()

setSorts

public void setSorts(java.util.List<java.lang.Class> sorts)

getRelationSignatures

public java.util.List<RelationSignature> getRelationSignatures()

setRelationSignatures

public void setRelationSignatures(java.util.List<RelationSignature> relationSignatures)