Class TypeFilter

java.lang.Object

fr.lirmm.graphik.integraal.core.TypeFilter

public class TypeFilter
extends Object

Filters atoms by structural type compatibility with a reference atom.

Constructor Summary

Constructors

Constructor	Description
TypeFilter(AtomType type, Atom atom)	Creates a filter from an atom type descriptor and a reference atom.

Method Summary

Modifier and Type	Method	Description
boolean	filter(Atom e)

Methods inherited from class Object

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

Constructor Details

TypeFilter

public TypeFilter(AtomType type,
 Atom atom)

Creates a filter from an atom type descriptor and a reference atom.

Parameters:

type - the structural descriptor

atom - the reference atom

Method Details

filter

public boolean filter(Atom e)