uk.ac.manchester.cs.jfact.split

Class SigIndex

java.lang.Object

uk.ac.manchester.cs.jfact.split.SigIndex

@PortedFrom(file="SigIndex.h",
            name="SigIndex")
public class SigIndex
extends Object

Constructor Summary

Constructors

Constructor and Description
SigIndex(LocalityChecker c) empty c'tor

Method Summary

Methods

Modifier and Type	Method and Description
void	clear() clear internal structures
Collection<Axiom>	getAxioms(NamedEntity entity) given an entity, return a set of all axioms that tontain this entity in a signature
Set<Axiom>	getNonLocal(boolean top) get the non-local axioms with top-locality value TOP
int	nProcessedAx()
void	preprocessOntology(Collection<Axiom> axioms) preprocess given set of axioms
void	processAx(Axiom ax) process an axiom wrt its Used status

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SigIndex

public SigIndex(LocalityChecker c)

empty c'tor

Method Detail

nProcessedAx

@PortedFrom(file="SigIndex.h",
            name="nProcessedAx")
public int nProcessedAx()

Returns:

number of ever processed axioms

processAx

@PortedFrom(file="SigIndex.h",
            name="processAx")
public void processAx(Axiom ax)

process an axiom wrt its Used status

preprocessOntology

@PortedFrom(file="SigIndex.h",
            name="preprocessOntology")
public void preprocessOntology(Collection<Axiom> axioms)

preprocess given set of axioms

clear

@PortedFrom(file="SigIndex.h",
            name="clear")
public void clear()

clear internal structures

getAxioms

@PortedFrom(file="SigIndex.h",
            name="getAxioms")
public Collection<Axiom> getAxioms(NamedEntity entity)

given an entity, return a set of all axioms that tontain this entity in a signature

getNonLocal

@PortedFrom(file="SigIndex.h",
            name="getNonLocal")
public Set<Axiom> getNonLocal(boolean top)

get the non-local axioms with top-locality value TOP