Class PredicateConverter

java.lang.Object

fr.inria.rules.integraal.util.converter.PredicateConverter

public class PredicateConverter
extends Object

Converts Predicate to and from Graal's Predicate
This is used for compatibility with Graal 1.3 version.

Author:

Florent Tornil

Method Summary

Modifier and Type	Method	Description
static Predicate	convert(Predicate p)	Converts the given Predicate into a Graal Predicate
static fr.lirmm.graphik.graal.api.core.Predicate	convert2(Predicate p)	Converts the given Predicate into a Graal Predicate
static Predicate	reverse(Predicate p)	Converts the given Graal Predicate into a Predicate

Methods inherited from class Object

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

Method Details

convert

public static Predicate convert(Predicate p)

Converts the given Predicate into a Graal Predicate

Parameters:

p - the predicate to convert

Returns:

the converted predicate

convert2

public static fr.lirmm.graphik.graal.api.core.Predicate convert2(Predicate p)

Converts the given Predicate into a Graal Predicate

Parameters:

p - the predicate to convert

Returns:

the converted predicate

reverse

public static Predicate reverse(Predicate p)

Converts the given Graal Predicate into a Predicate

Parameters:

p - the predicate to convert

Returns:

the converted predicate