Class AtomSetConverter

java.lang.Object

fr.inria.rules.integraal.util.converter.AtomSetConverter

public class AtomSetConverter
extends Object

Converts FOFormula to and from AtomSet
This is used for compatibility with Graal 1.3 version.

Author:

Florent Tornil

Method Summary

Modifier and Type	Method	Description
static InMemoryAtomSet	convert(FOFormula f)	Converts the given FOFormula into a Graal AtomSet
static fr.lirmm.graphik.graal.api.core.InMemoryAtomSet	convert2(FOFormula f)	Converts the given FOFormula into a Graal AtomSet
static FOFormula	reverse(InMemoryAtomSet as)	Converts the given atomset into a FOFormula

Methods inherited from class Object

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

Method Details

convert

public static InMemoryAtomSet convert(FOFormula f)

Converts the given FOFormula into a Graal AtomSet

Parameters:

f - the formula to convert

Returns:

the converted atomset

convert2

public static fr.lirmm.graphik.graal.api.core.InMemoryAtomSet convert2(FOFormula f)

Converts the given FOFormula into a Graal AtomSet

Parameters:

f - the formula to convert

Returns:

the converted atomset

reverse

public static FOFormula reverse(InMemoryAtomSet as)

Converts the given atomset into a FOFormula

Parameters:

as - the atomset to convert

Returns:

the converted formula