Class AllTransformer

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.body_to_query_transformer.AllTransformer

All Implemented Interfaces:

BodyToQueryTransformer

public class AllTransformer
extends Object
implements BodyToQueryTransformer

Transforms a rule's body into a query using all variables as answer variables

Author:

Florent Tornil

Constructor Summary

Constructors

Constructor	Description
AllTransformer()	Creates an all-variable body-to-query transformer.

Method Summary

Modifier and Type	Method	Description
FOQuery<?>	transform(FORule rule)	Transforms the given rule's body into the corresponding query

Methods inherited from class Object

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

Methods inherited from interface BodyToQueryTransformer

describe

Constructor Details

AllTransformer

public AllTransformer()

Creates an all-variable body-to-query transformer.

Method Details

transform

public FOQuery<?> transform(FORule rule)

Description copied from interface: BodyToQueryTransformer

Transforms the given rule's body into the corresponding query

Specified by:

transform in interface BodyToQueryTransformer

Parameters:

rule - rule to transform

Returns:

the query corresponding to the given rule's body