Class BTSProperty

java.lang.Object

fr.lirmm.graphik.integraal.rulesetanalyser.property.RuleSetProperty.Default

fr.lirmm.graphik.integraal.rulesetanalyser.property.BTSProperty

All Implemented Interfaces:

RuleSetProperty

public final class BTSProperty
extends RuleSetProperty.Default

Property capturing bounded-treewidth sets.

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Nested Class Summary

Nested classes/interfaces inherited from interface RuleSetProperty

RuleSetProperty.Default, RuleSetProperty.Local

Method Summary

Modifier and Type	Method	Description
int	check(AnalyserRuleSet ruleSet)	Check whether the given rule set satisfies the property or does not.
String	getDescription()	Returns a human-readable description of this property.
String	getFullName()	Returns the full human-readable name of this property.
String	getLabel()	This method must return a label not used by any other rule property or undefined behaviour is to be expected.
static BTSProperty	instance()	Returns the singleton BTS property instance.

Methods inherited from class RuleSetProperty.Default

getGeneralisations, getSpecialisations

Methods inherited from class Object

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

Method Details

instance

public static BTSProperty instance()

Returns the singleton BTS property instance.

Returns:

the singleton instance

getDescription

public String getDescription()

Description copied from interface: RuleSetProperty

Returns a human-readable description of this property.

Returns:

the property description

getFullName

public String getFullName()

Description copied from interface: RuleSetProperty

Returns the full human-readable name of this property.

Returns:

the full property name

getLabel

public String getLabel()

Description copied from interface: RuleSetProperty

This method must return a label not used by any other rule property or undefined behaviour is to be expected.

Returns:

the short property label

check

public int check(AnalyserRuleSet ruleSet)

Description copied from interface: RuleSetProperty

Check whether the given rule set satisfies the property or does not.

Specified by:

check in interface RuleSetProperty

Overrides:

check in class RuleSetProperty.Default

Parameters:

ruleSet - the rule set to evaluate

Returns:

A negative value if the ruleset does not satisfy the property, a positive value if it does, and 0 if unknown.