Uses of Class
org.mindswap.pellet.Clash

Packages that use Clash

Package	Description
org.mindswap.pellet
org.mindswap.pellet.tableau.completion.incremental

Uses of Clash in org.mindswap.pellet

Methods in org.mindswap.pellet that return Clash

Modifier and Type	Method and Description
static Clash	Clash.atomic(Node node, DependencySet depends)
static Clash	Clash.atomic(Node node, DependencySet depends, aterm.ATermAppl c)
static Clash	Clash.bottomProperty(Node node, DependencySet depends, aterm.ATermAppl p)
Clash	Clash.copyTo(ABox abox)
static Clash	Clash.disjointProps(Node node, DependencySet depends)
static Clash	Clash.disjointProps(Node node, DependencySet depends, aterm.ATermAppl p1, aterm.ATermAppl p2)
static Clash	Clash.emptyDatatype(Node node, DependencySet depends)
static Clash	Clash.emptyDatatype(Node node, DependencySet depends, aterm.ATermAppl[] datatypes)
static Clash	Clash.functionalCardinality(Node node, DependencySet depends)
static Clash	Clash.functionalCardinality(Node node, DependencySet depends, aterm.ATermAppl r)
Clash	ABox.getClash()
Clash	ABox.getLastClash()
static Clash	Clash.invalidLiteral(Node node, DependencySet depends)
static Clash	Clash.invalidLiteral(Node node, DependencySet depends, aterm.ATermAppl value)
static Clash	Clash.maxCardinality(Node node, DependencySet depends)
static Clash	Clash.maxCardinality(Node node, DependencySet depends, aterm.ATermAppl r, int n)
static Clash	Clash.minMax(Node node, DependencySet depends)
static Clash	Clash.missingDatatype(Node node, DependencySet depends)
static Clash	Clash.missingDatatype(Node node, DependencySet depends, aterm.ATermAppl value, aterm.ATermAppl datatype)
static Clash	Clash.nominal(Node node, DependencySet depends)
static Clash	Clash.nominal(Node node, DependencySet depends, aterm.ATermAppl other)
static Clash	Clash.unexplained(Node node, DependencySet depends)
static Clash	Clash.unexplained(Node node, DependencySet depends, String msg)
static Clash	Clash.valueDatatype(Node node, DependencySet depends)
static Clash	Clash.valueDatatype(Node node, DependencySet depends, aterm.ATermAppl value, aterm.ATermAppl datatype)

Methods in org.mindswap.pellet with parameters of type Clash

Modifier and Type	Method and Description
void	ABox.setClash(Clash clash)

Uses of Clash in org.mindswap.pellet.tableau.completion.incremental

Methods in org.mindswap.pellet.tableau.completion.incremental that return Clash

Modifier and Type	Method and Description
Clash	ClashDependency.getClash() Get the clash

Methods in org.mindswap.pellet.tableau.completion.incremental with parameters of type Clash

Modifier and Type	Method and Description
void	DependencyIndex.setClashDependencies(Clash clash) Set clash dependencies

Constructors in org.mindswap.pellet.tableau.completion.incremental with parameters of type Clash

Constructor and Description
ClashDependency(aterm.ATermAppl assertion, Clash clash) Constructor