Class TermConverter

java.lang.Object

fr.inria.rules.integraal.util.converter.TermConverter

public class TermConverter
extends Object

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

Author:

Florent Tornil

Method Summary

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

Methods inherited from class Object

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

Method Details

convert

public static Term convert(Term t)

Converts the given Term into a Graal Term

Parameters:

t - the term to convert

Returns:

the converted term

convert2

public static fr.lirmm.graphik.graal.api.core.Term convert2(Term t)

Converts the given Term into a Graal Term

Parameters:

t - the term to convert

Returns:

the converted term

reverse

public static Term reverse(Term t)

Converts the given Graal Term into a Term

Parameters:

t - the term to convert

Returns:

the converted term