org.kahina.tralesld.data.signature

Class TraleSLDSignature

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.tralesld.data.signature.TraleSLDSignature

All Implemented Interfaces:

java.io.Serializable

public class TraleSLDSignature
extends KahinaObject

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.core.data.KahinaObject

needsUpdate

Constructor Summary

Constructors

Constructor and Description
TraleSLDSignature()

Method Summary

Methods

Modifier and Type	Method and Description
void	addAppropriateFeature(java.lang.String type, java.lang.String feature, java.lang.String valueRestr)
void	addSubtypeRelation(java.lang.String type, java.lang.String subtype)
java.lang.String	computeGrisuMGS(java.lang.String type) Compute the most general satisfier of a type as a GRISU string.
boolean	dominates(java.lang.String domer, java.lang.String domee)
java.lang.String	formalRepresentation() Prints out the signature in formal notation according to Carpenter 1992.
java.util.Map<java.lang.String,java.lang.String>	getAppropriateness(java.lang.String type)
java.lang.String	getAppropriateValueType(java.lang.String type, java.lang.String feat)
java.util.List<java.lang.String>	getFeatures()
java.lang.String	getIntroducer(java.lang.String type, java.lang.String feat)
java.util.Set<java.util.List<java.lang.String>>	getPaths(java.lang.String type)
java.util.Set<java.lang.String>	getSiblingTypes(java.lang.String type)
java.util.Set<java.lang.String>	getSubtypes(java.lang.String type)
java.util.Set<java.lang.String>	getSupertypes(java.lang.String type)
java.util.Map<java.lang.String,java.lang.String>	getTypeRestrictions(java.lang.String type)
java.util.List<java.lang.String>	getTypes()
java.util.Set<java.lang.String>	getUses(java.lang.String type)
java.lang.String	graphViz() Prints out a graph representation in GraphViz DOT format.
void	inferCachedInformation() Fills the introFeats map.
void	registerFeature(java.lang.String feature)
void	registerType(java.lang.String type)
java.lang.String	resolveMGSs(java.lang.String grisu) Resolves mgsat/1 instances in a GRISU string

Methods inherited from class org.kahina.core.data.KahinaObject

needsUpdate, requireUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

TraleSLDSignature

public TraleSLDSignature()

Method Detail

registerFeature

public void registerFeature(java.lang.String feature)

registerType

public void registerType(java.lang.String type)

addSubtypeRelation

public void addSubtypeRelation(java.lang.String type,
                      java.lang.String subtype)

addAppropriateFeature

public void addAppropriateFeature(java.lang.String type,
                         java.lang.String feature,
                         java.lang.String valueRestr)

getTypes

public java.util.List<java.lang.String> getTypes()

getFeatures

public java.util.List<java.lang.String> getFeatures()

getSubtypes

public java.util.Set<java.lang.String> getSubtypes(java.lang.String type)

getSupertypes

public java.util.Set<java.lang.String> getSupertypes(java.lang.String type)

getSiblingTypes

public java.util.Set<java.lang.String> getSiblingTypes(java.lang.String type)

getTypeRestrictions

public java.util.Map<java.lang.String,java.lang.String> getTypeRestrictions(java.lang.String type)

getUses

public java.util.Set<java.lang.String> getUses(java.lang.String type)

getAppropriateness

public java.util.Map<java.lang.String,java.lang.String> getAppropriateness(java.lang.String type)

getAppropriateValueType

public java.lang.String getAppropriateValueType(java.lang.String type,
                                       java.lang.String feat)

getPaths

public java.util.Set<java.util.List<java.lang.String>> getPaths(java.lang.String type)

dominates

public boolean dominates(java.lang.String domer,
                java.lang.String domee)

computeGrisuMGS

public java.lang.String computeGrisuMGS(java.lang.String type)

Compute the most general satisfier of a type as a GRISU string.

Parameters:

type - a type defined in this signature.

Returns:

a GRISU string representing the MGS.

resolveMGSs

public java.lang.String resolveMGSs(java.lang.String grisu)

Resolves mgsat/1 instances in a GRISU string

Parameters:

grisuString -

Returns:

the grisuString with mgsat/1 clauses resolved

getIntroducer

public java.lang.String getIntroducer(java.lang.String type,
                             java.lang.String feat)

inferCachedInformation

public void inferCachedInformation()

Fills the introFeats map. This needs to be called once for the visualization to work.

formalRepresentation

public java.lang.String formalRepresentation()

Prints out the signature in formal notation according to Carpenter 1992.

Returns:

the formal representation as a String;

graphViz

public java.lang.String graphViz()

Prints out a graph representation in GraphViz DOT format.

Returns:

a representation of the signature in DOT format.