Uses of Class
openllet.core.utils.BinarySet

Packages that use BinarySet

Package	Description
openllet.core.boxes.tbox.impl
openllet.core.utils

Uses of BinarySet in openllet.core.boxes.tbox.impl

Methods in openllet.core.boxes.tbox.impl with parameters of type BinarySet

Modifier and Type	Method	Description
void	BinaryTBox.add(BinarySet<openllet.aterm.ATermAppl> set, openllet.aterm.ATermAppl result, java.util.Set<openllet.aterm.ATermAppl> explanation)
Unfolding	BinaryTBox.unfold(BinarySet<openllet.aterm.ATermAppl> set)

Uses of BinarySet in openllet.core.utils

Methods in openllet.core.utils that return BinarySet

Modifier and Type	Method	Description
static <T> BinarySet<T>	BinarySet.create(T first, T second)