Uses of Class
fr.lirmm.graphik.util.Partition

Packages that use Partition

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.compilation
fr.lirmm.graphik.graal.core.unifier
fr.lirmm.graphik.util

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

Methods in fr.lirmm.graphik.graal.api.core that return types with arguments of type Partition

Modifier and Type	Method and Description
Collection<Partition<Term>>	RulesCompilation.getUnification(Atom father, Atom son) Return the list of c-unifier from the atom father to the atom son

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

Methods in fr.lirmm.graphik.graal.core that return Partition

Modifier and Type	Method and Description
static Partition<Term>	Substitutions.toPartition(Substitution s)

Uses of Partition in fr.lirmm.graphik.graal.core.compilation

Methods in fr.lirmm.graphik.graal.core.compilation that return types with arguments of type Partition

Modifier and Type	Method and Description
Collection<Partition<Term>>	NoCompilation.getUnification(Atom father, Atom son)
LinkedList<Partition<Term>>	IDCompilation.getUnification(Atom father, Atom son)
Collection<Partition<Term>>	HierarchicalCompilation.getUnification(Atom father, Atom son)

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

Methods in fr.lirmm.graphik.graal.core.unifier that return Partition

Modifier and Type	Method and Description
Partition<Term>	QueryUnifier.getPartition() Return the partition that unify the piece and a part of the head rule

Methods in fr.lirmm.graphik.graal.core.unifier with parameters of type Partition

Modifier and Type	Method and Description
void	QueryUnifier.setSubstitution(Partition<Term> partition) Change the substitution that unify the piece and a part of the head rule

Constructors in fr.lirmm.graphik.graal.core.unifier with parameters of type Partition

Constructor and Description
QueryUnifier(InMemoryAtomSet piece, Partition<Term> partition, Rule rule, ConjunctiveQuery query)

Uses of Partition in fr.lirmm.graphik.util

Methods in fr.lirmm.graphik.util that return Partition

Modifier and Type	Method and Description
Partition<E>	Partition.join(Partition<E> p) Return the join of this and the given partition p the join of two partition is obtained by making the union of their non-disjoint classes until stability ex: the join of {{a,b,c},{d,e}} and {{e,g},{k,l}} is {{a,b,c},{d,e,g},{k,l}}

Methods in fr.lirmm.graphik.util with parameters of type Partition

Modifier and Type	Method and Description
Partition<E>	Partition.join(Partition<E> p) Return the join of this and the given partition p the join of two partition is obtained by making the union of their non-disjoint classes until stability ex: the join of {{a,b,c},{d,e}} and {{e,g},{k,l}} is {{a,b,c},{d,e,g},{k,l}}

Constructors in fr.lirmm.graphik.util with parameters of type Partition

Constructor and Description
Partition(Partition<E> partition) Copy constructor