Package fr.lirmm.graphik.graal.core

This package contains the main classes of GRAAL.

See: Description

Class Summary

Class	Description
AbstractMapBasedSubstitution
AbstractRule
AbstractSubstitution
AtomType
ConjunctiveQueryRuleAdapter
ConjunctiveQueryWithFixedVariables
DefaultAtom	Class that implements atoms.
DefaultConjunctiveQuery	Class representing a conjunctive query.
DefaultConjunctiveQueryWithNegatedParts
DefaultConstantGenerator	Generate fresh variables by appending an incremental counter to the specified prefix.
DefaultNegativeConstraint	A negative constraint prevents to have some set of atoms.
DefaultQueryLabeler
DefaultRule
DefaultRuleLabeler
DefaultUnionOfConjunctiveQueries	This class represents query which is the union of conjunctive queries.
DefaultVariableGenerator	Generate fresh variables by appending an incremental counter to the specified prefix.
EmptySubstitution
FreshVarSubstitution
HashMapSubstitution	An implementation of Substitution using a HashMap.
LabelRuleComparator
Rules
RuleWrapper2ConjunctiveQueryWithNegatedParts
Substitutions
TreeMapSubstitution	An implementation of Susbstitution using a TreeMap
TypeFilter
VariablePrefixSubstitution
VariableRemovePrefixSubstitution

Package fr.lirmm.graphik.graal.core Description

This package contains the main classes of GRAAL.