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.dl
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.kernel.dl.interfaces
uk.ac.manchester.cs.jfact.kernel.modelcaches
uk.ac.manchester.cs.jfact.split

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<Representation extends Comparable<Representation>>
interface	DatatypeExpression<Representation extends Comparable<Representation>> Represents an extended datatype - intersection, union or further restrictions.
class	DatatypeFactory

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
FastSetSimple	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

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

Modifier and Type	Interface and Description
interface	FastSet

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

Modifier and Type	Field and Description
protected LinkedList<T>	SaveStack.list

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

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

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
protected DatatypeFactory	DlSatTester.datatypeFactory
static int	RoleAutomaton.initial get the initial state
protected int	ToDoList.nextState
protected JFactReasonerConfiguration	DlSatTester.options
protected boolean	ToDoList.saveStateGenerationStarted
protected uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState[]	ToDoList.states

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)
int	TBox.addDatatypeExpressionToHeap(Datatype<?> p)
void	Concept.addLeaves(Collection<DLTree> Desc)
int	CGLabel.baseSize()
void	ClassifiableEntry.clearCompletelyDefined()
void	Role.clearDataRole()
protected void	CGLabel.clearMyCache()
void	ClassifiableEntry.clearNonClassifiable()
protected void	CGLabel.clearOthersCache()
ArrayIntMap	CGLabel.get_cc_concepts()
List<ConceptWDep>	CGLabel.get_cc()
ArrayIntMap	CGLabel.get_sc_concepts()
List<ConceptWDep>	CGLabel.get_sc()
Individual	Related.getA()
TOntologyAtom	Axiom.getAtom()
Individual	Related.getB()
static Concept	Concept.getBOTTOM()
Concept.CTTag	Concept.getClassTagPlain()
ConceptWDep	CWDArray.getConceptWithBP(int bp)
ArrayIntMap	CWDArray.getContainedConcepts()
RoleExpression	TDag2Interface.getDataRoleExpression(Role r)
String	ExpressionManager.getDataTop() get basic string data type
DLTree	Concept.getDescription()
List<List<Individual>>	TBox.getDifferent()
DLDag	TBox.getDLHeap()
List<Concept>	TBox.getFairness()
KBFlags	TBox.getGCIs()
int	CGLabel.getId()
uk.ac.manchester.cs.jfact.kernel.ToDoList.TODOListSaveState	ToDoList.getInstance()
Role	Role.getInverse()
KnowledgeExplorer	ReasoningKernel.getKnowledgeExplorer()
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<Axiom>	ReasoningKernel.getTautologies()
static Concept	Concept.getTEMP()
static Concept	Concept.getTOP()
int	Concept.getTsDepth()
void	ToDoList.initPriorities(String Options) init priorities via Options
void	DlSatTester.initToDoPriorities() init Todo list priority for classification
boolean	NamedEntry.isBottom() a Bottom-of-the-hierarchy flag
boolean	ClassifiableEntry.isCompletelyDefined() a Completely Defined flag
boolean	Role.isDataRole() distinguish data- and non-data role
boolean	KBFlags.isGCI() flag for GCIs
boolean	Concept.isHasSP() a HasSingletonParent flag
boolean	Concept.isNominal()
boolean	ClassifiableEntry.isNonClassifiable() a non-classifiable flag
boolean	Concept.isPrimitive()
boolean	KBFlags.isReflexive() flag for Reflexive roles
boolean	KBFlags.isRnD() flag for Range and Domain axioms
boolean	ToDoList.isSaveStateGenerationStarted()
boolean	Concept.isSingleton()
boolean	NamedEntry.isSystem() a System flag
boolean	NamedEntry.isTop() a Top-of-the-hierarchy flag
protected void	CWDArray.private_add(ConceptWDep p) adds concept P to a label - to be called only from CGLabel
void	Concept.push(LinkedList<DLTree> stack, DLTree current)
void	Axiom.setAtom(TOntologyAtom atom)
void	NamedEntry.setBottom()
void	ClassifiableEntry.setCompletelyDefined(boolean action)
void	Role.setDataRole()
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()
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()
void	Concept.setSingleton(boolean action)
void	NamedEntry.setSystem()
void	TBox.setToDoPriorities() set ToDo priorities using local OPTIONS
void	NamedEntry.setTop()
void	ToDoList.startSaveStateGeneration()

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

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.dl.interfaces

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

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLAxiom	Axiom.getOWLAxiom()

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.split

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

Modifier and Type	Method and Description
boolean	TSignature.containsNamedEntity(NamedEntity p)
TSignature	SyntacticLocalityChecker.getSignature()
TSignature	SemanticLocalityChecker.getSignature()
List<Axiom>	AtomicDecomposer.getTautologies()
List<NamedEntity>	TSignature.intersect(TSignature s2)
boolean	SigAccessor.isTopOrBuiltInDataType(Expression expr)
boolean	SigAccessor.isTopOrBuiltInInfDataType(Expression expr)
boolean	SemanticLocalityChecker.local(Axiom axiom)
void	SyntacticLocalityChecker.preprocessOntology(Collection<Axiom> s)
void	SigAccessor.setSignature(TSignature s)
void	SyntacticLocalityChecker.setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)
void	SemanticLocalityChecker.setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)
void	SyntacticLocalityChecker.visitOntology(Ontology ontology) load ontology to a given KB