SigIndex (JFact 4.0.1 API)

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

signature index

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

Methods
Modifier and Type	Method and Description
`void`	`clear()` clear internal structures
`Collection<AxiomInterface>`	`getAxioms(NamedEntity entity)` given an entity,
`Set<AxiomInterface>`	`getNonLocal(boolean top)`
`int`	`nProcessedAx()`
`void`	`preprocessOntology(Collection<AxiomInterface> axioms)` preprocess given set of axioms
`void`	`processAx(AxiomInterface ax)` process an axiom wrt its Used status

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

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

process an axiom wrt its Used status

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

preprocess given set of axioms

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

clear internal structures

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

given an entity,

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

Class SigIndex