Uses of Class
org.mindswap.pellet.Clash

Packages that use Clash
org.mindswap.pellet   
org.mindswap.pellet.tableau.completion.incremental   
 

Uses of Clash in org.mindswap.pellet
 

Methods in org.mindswap.pellet that return Clash
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, java.lang.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
 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
 Clash ClashDependency.getClash()
          Get the clash
 

Methods in org.mindswap.pellet.tableau.completion.incremental with parameters of type Clash
 void DependencyIndex.setClashDependencies(Clash clash)
          Set clash dependencies
 

Constructors in org.mindswap.pellet.tableau.completion.incremental with parameters of type Clash
ClashDependency(aterm.ATermAppl assertion, Clash clash)
          Constructor
 



Copyright © 2004 Evren Sirin. All Rights Reserved.