Uses of Interface
fr.lirmm.graphik.util.string.AppendableToStringBuilder

Packages that use AppendableToStringBuilder

Package	Description
fr.lirmm.graphik.graal.api.core
fr.lirmm.graphik.graal.core	This package contains the main classes of GRAAL.
fr.lirmm.graphik.graal.core.unifier

Uses of AppendableToStringBuilder in fr.lirmm.graphik.graal.api.core

Subinterfaces of AppendableToStringBuilder in fr.lirmm.graphik.graal.api.core

Modifier and Type	Interface and Description
interface	Atom This interface represents a logical atom.
interface	ConjunctiveQuery This interface represents a conjunctive query.
interface	ConjunctiveQueryWithNegatedParts This interface represents a conjunctive query with negated parts.
interface	NegativeConstraint This interface represents a negative constraint.
interface	Query This interface represents a generic query.
interface	Rule This interface represents an existential rule.
interface	Substitution A substitution is an application from a set of variables into a set of terms.
interface	UnionOfConjunctiveQueries

Classes in fr.lirmm.graphik.graal.api.core that implement AppendableToStringBuilder

Modifier and Type	Class and Description
class	AbstractAtom
class	Predicate Represents a Predicate of an Atom.

Uses of AppendableToStringBuilder in fr.lirmm.graphik.graal.core

Classes in fr.lirmm.graphik.graal.core that implement AppendableToStringBuilder

Modifier and Type	Class and Description
class	AbstractMapBasedSubstitution
class	AbstractRule
class	AbstractSubstitution
class	ConjunctiveQueryRuleAdapter
class	ConjunctiveQueryWithFixedVariables
class	DefaultAtom Class that implements atoms.
class	DefaultConjunctiveQuery Class representing a conjunctive query.
class	DefaultConjunctiveQueryWithNegatedParts
class	DefaultNegativeConstraint A negative constraint prevents to have some set of atoms.
class	DefaultRule
class	DefaultUnionOfConjunctiveQueries This class represents query which is the union of conjunctive queries.
class	EmptySubstitution
class	FreshVarSubstitution
class	HashMapSubstitution An implementation of Substitution using a HashMap.
class	RuleWrapper2ConjunctiveQueryWithNegatedParts
class	TreeMapSubstitution An implementation of Susbstitution using a TreeMap
class	VariablePrefixSubstitution
class	VariableRemovePrefixSubstitution

Uses of AppendableToStringBuilder in fr.lirmm.graphik.graal.core.unifier

Classes in fr.lirmm.graphik.graal.core.unifier that implement AppendableToStringBuilder

Modifier and Type	Class and Description
class	AtomicHeadRule rule with only one atom in its head