Class AtomConverter

java.lang.Object

fr.inria.rules.integraal.util.converter.AtomConverter

public class AtomConverter
extends Object

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

Author:

Florent Tornil

Method Summary

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

Methods inherited from class Object

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

Method Details

convert

public static Atom convert(Atom a)

Converts the given Atom into a Graal Atom

Parameters:

a - the atom to convert

Returns:

the converted atom

convert2

public static fr.lirmm.graphik.graal.api.core.Atom convert2(Atom a)

Converts the given Atom into a Graal Atom

Parameters:

a - the atom to convert

Returns:

the converted atom

reverse

public static Atom reverse(Atom a)

Converts the given Graal Atom into an Atom

Parameters:

a - the atom to convert

Returns:

the converted atom