Uses of Class
conformance.Original

Packages that use Original

Package	Description
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.dep
uk.ac.manchester.cs.jfact.helpers
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.actors
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.kernel.modelcaches
uk.ac.manchester.cs.jfact.kernel.todolist

Uses of Original in uk.ac.manchester.cs.jfact.datatypes

Classes in uk.ac.manchester.cs.jfact.datatypes with annotations of type Original

Modifier and Type	Interface and Description
interface	Datatype<R extends Comparable<R>>
interface	DatatypeExpression<R extends Comparable<R>> Represents an extended datatype - intersection, union or further restrictions.
class	DatatypeFactory Factory for datatypes

Uses of Original in uk.ac.manchester.cs.jfact.dep

Methods in uk.ac.manchester.cs.jfact.dep with annotations of type Original

Modifier and Type	Method and Description
org.roaringbitmap.RoaringBitmap	DepSet.getDelegate() to be used to get the FastSet and store it in CWDArray save/restore

Uses of Original in uk.ac.manchester.cs.jfact.helpers

Methods in uk.ac.manchester.cs.jfact.helpers with annotations of type Original

Modifier and Type	Method and Description
void	SaveStack.clear() clear the stack
int	DLVertex.getAndToDagValue()

Uses of Original in uk.ac.manchester.cs.jfact.kernel

Fields in uk.ac.manchester.cs.jfact.kernel with annotations of type Original

Modifier and Type	Field and Description
static int	RoleAutomaton.INITIAL get the initial state

Methods in uk.ac.manchester.cs.jfact.kernel with annotations of type Original

Modifier and Type	Method and Description
void	CGLabel.add(DagTag tag, ConceptWDep p) index p by tag, clear caches
int	TBox.addDatatypeExpressionToHeap(Datatype<?> p)
void	Concept.addLeaves(Collection<DLTree> desc)
Individual	Related.getA()
org.semanticweb.owlapitools.decomposition.OntologyAtom	Axiom.getAtom()
Individual	Related.getB()
static Concept	Concept.getBOTTOM(org.semanticweb.owlapi.model.OWLDataFactory df)
Concept.CTTag	Concept.getClassTagPlain()
List<ConceptWDep>	CGLabel.getComplexConcepts()
ArrayIntMap	CGLabel.getComplexConceptsMap()
ConceptWDep	CWDArray.getConceptWithBP(int bp)
ArrayIntMap	CWDArray.getContainedConcepts()
RoleExpression	TDag2Interface.getDataRoleExpression(Role r)
DLTree	Concept.getDescription()
List<List<Individual>>	TBox.getDifferent()
DLDag	TBox.getDLHeap()
List<Concept>	TBox.getFairness()
KBFlags	TBox.getGCIs()
Role	Role.getInverse()
LogicFeatures	Concept.getNegFeatures()
int	TBox.getNItems()
DlCompletionTree	Individual.getNode()
RoleExpression	TDag2Interface.getObjectRoleExpression(Role r)
JFactReasonerConfiguration	TBox.getOptions()
JFactReasonerConfiguration	DlSatTester.getOptions()
int	Concept.getpBody()
int	Concept.getpName()
LogicFeatures	Concept.getPosFeatures()
List<Related>	TBox.getRelatedI()
List<Related>	Individual.getRelatedIndex()
List<org.semanticweb.owlapitools.decomposition.AxiomWrapper>	Ontology.getRetracted()
org.semanticweb.owlapitools.decomposition.Signature	TBox.getSignature(ClassifiableEntry c)
List<ConceptWDep>	CGLabel.getSimpleConcepts()
ArrayIntMap	CGLabel.getSimpleConceptsMap()
Set<org.semanticweb.owlapi.model.OWLAxiom>	ReasoningKernel.getTautologies()
static Concept	Concept.getTEMP()
static Concept	Concept.getTOP(org.semanticweb.owlapi.model.OWLDataFactory df)
int	Concept.getTsDepth()
void	DlSatTester.initToDoPriorities() init Todo list priority for classification
boolean	NamedEntry.isBottom()
boolean	ClassifiableEntry.isCompletelyDefined()
boolean	Role.isDataRole()
boolean	Individual.isFresh()
boolean	KBFlags.isGCI()
boolean	Concept.isHasSP()
boolean	Concept.isNominal()
boolean	ClassifiableEntry.isNonClassifiable()
boolean	Concept.isNonPrimitive()
boolean	Concept.isPrimitive()
boolean	KBFlags.isReflexive()
boolean	KBFlags.isRnD()
boolean	Concept.isSingleton()
boolean	NamedEntry.isSystem()
boolean	NamedEntry.isTop()
void	Concept.push(Deque<DLTree> stack, DLTree current)
void	Axiom.setAtom(org.semanticweb.owlapitools.decomposition.OntologyAtom atom)
void	NamedEntry.setBottom() set as bottom entity
void	ClassifiableEntry.setCompletelyDefined(boolean action)
void	Role.setDataRole(boolean action)
void	KBFlags.setGCI(boolean action)
void	Concept.setHasSP(boolean action)
void	ReasoningKernel.setInterruptedSwitch(AtomicBoolean b)
void	Individual.setNode(DlCompletionTree node)
void	Concept.setNominal(boolean action)
void	ClassifiableEntry.setNonClassifiable(boolean action)
void	Concept.setpBody(int pBody)
void	Concept.setpName(int pName)
void	Concept.setPrimitive(boolean action)
void	KBFlags.setReflexive(boolean action)
void	KBFlags.setRnD(boolean b)
void	Concept.setSingleton(boolean action)
void	NamedEntry.setSystem() set as system entry
void	TBox.setToDoPriorities() set To Do priorities using local OPTIONS
void	NamedEntry.setTop() set as top entity

Uses of Original in uk.ac.manchester.cs.jfact.kernel.actors

Classes in uk.ac.manchester.cs.jfact.kernel.actors with annotations of type Original

Modifier and Type	Class and Description
class	ActorImpl

Uses of Original in uk.ac.manchester.cs.jfact.kernel.dl

Classes in uk.ac.manchester.cs.jfact.kernel.dl with annotations of type Original

Modifier and Type	Class and Description
class	AbstractConceptDataCardinality base class for data cardinality

Uses of Original in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms with annotations of type Original

Modifier and Type	Class and Description
class	AbstractNaryAxiom<I extends Expression> n-ary axiom base class

Uses of Original in uk.ac.manchester.cs.jfact.kernel.modelcaches

Methods in uk.ac.manchester.cs.jfact.kernel.modelcaches with annotations of type Original

Modifier and Type	Method and Description
boolean	ModelCacheInterface.isHasNominalNode()
void	ModelCacheInterface.setHasNominalNode(boolean hasNominalNode)

Uses of Original in uk.ac.manchester.cs.jfact.kernel.todolist

Methods in uk.ac.manchester.cs.jfact.kernel.todolist with annotations of type Original

Modifier and Type	Method and Description
void	ToDoList.initPriorities(String options) init priorities via Options