Class DomainRestrictedProperty

java.lang.Object

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

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

fr.lirmm.graphik.integraal.rulesetanalyser.property.DomainRestrictedProperty

All Implemented Interfaces:

RuleSetProperty

public class DomainRestrictedProperty
extends RuleSetProperty.Local

All atoms in the head contain either all or none variables from the body.

Author:

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

Nested Class Summary

Nested classes/interfaces inherited from interface RuleSetProperty

RuleSetProperty.Default, RuleSetProperty.Local

Method Summary

Modifier and Type	Method	Description
int	check(Rule rule)	Evaluates the property on a single rule.
String	getDescription()	Returns a human-readable description of this property.
String	getFullName()	Returns the full human-readable name of this property.
Iterable<RuleSetProperty>	getGeneralisations()	Returns the direct generalisations 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 DomainRestrictedProperty	instance()	Returns the singleton instance.

Methods inherited from class RuleSetProperty.Local

check

Methods inherited from class RuleSetProperty.Default

getSpecialisations

Methods inherited from class Object

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

Method Details

instance

public static DomainRestrictedProperty instance()

Returns the singleton instance.

Returns:

the singleton property instance

getFullName

public String getFullName()

Description copied from interface: RuleSetProperty

Returns the full human-readable name of this property.

Returns:

the full property name

getDescription

public String getDescription()

Description copied from interface: RuleSetProperty

Returns a human-readable description of this property.

Returns:

the property description

check

public int check(Rule rule)

Description copied from class: RuleSetProperty.Local

Evaluates the property on a single rule.

Specified by:

check in class RuleSetProperty.Local

Parameters:

rule - the rule to evaluate

Returns:

the property result for the rule

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

getGeneralisations

public Iterable<RuleSetProperty> getGeneralisations()

Description copied from interface: RuleSetProperty

Returns the direct generalisations of this property.

Specified by:

getGeneralisations in interface RuleSetProperty

Overrides:

getGeneralisations in class RuleSetProperty.Default

Returns:

the direct generalisations