uk.ac.manchester.cs.jfact.kernel

Class CGLabel

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.CGLabel

All Implemented Interfaces:

Serializable

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

Completion graph label

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CGLabel(JFactReasonerConfiguration config) Default constructor.

Method Summary

Modifier and Type	Method and Description
void	add(DagTag tag, ConceptWDep p) index p by tag, clear caches
boolean	contains(int p)
boolean	containsCC(int p)
boolean	equals(Object obj)
ConceptWDep	getCCConceptWithBP(int bp)
List<ConceptWDep>	getComplexConcepts()
ArrayIntMap	getComplexConceptsMap()
ConceptWDep	getConceptWithBP(int bp)
CWDArray	getLabel(DagTag tag)
ConceptWDep	getSCConceptWithBP(int bp)
List<ConceptWDep>	getSimpleConcepts()
ArrayIntMap	getSimpleConceptsMap()
int	hashCode()
void	init() init the node - this is not in the constructor because objecs will be reused
boolean	lesserequal(CGLabel label)
void	restore(SaveState ss, int level) restore label to given LEVEL using given SS
void	save(SaveState ss)
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CGLabel

public CGLabel(JFactReasonerConfiguration config)

Default constructor.

Parameters:

config - config object

Method Detail

getSimpleConcepts

@Original
public List<ConceptWDep> getSimpleConcepts()

Returns:

simple concepts list

getComplexConcepts

@Original
public List<ConceptWDep> getComplexConcepts()

Returns:

complext concepts list

getSimpleConceptsMap

@Original
public ArrayIntMap getSimpleConceptsMap()

Returns:

simple concepts map

getComplexConceptsMap

@Original
public ArrayIntMap getComplexConceptsMap()

Returns:

complex concepts map

getLabel

@PortedFrom(file="CGLabel.h",
            name="getLabel")
public CWDArray getLabel(DagTag tag)

Parameters:

tag - tag

Returns:

label associated with the concepts defined by TAG

add

@Original
public void add(DagTag tag,
                          ConceptWDep p)

index p by tag, clear caches

Parameters:

tag - tag

p - p

containsCC

@PortedFrom(file="CGLabel.h",
            name="containsCC")
public boolean containsCC(int p)

Parameters:

p - p

Returns:

true if node is labelled by complex concept P

hashCode

public int hashCode()

Overrides:

hashCode in class Object

lesserequal

@PortedFrom(file="CGLabel.h",
            name="<=")
public boolean lesserequal(CGLabel label)

Parameters:

label - label

Returns:

true if this label is less or equal than label

equals

public boolean equals(@Nullable
                      Object obj)

Overrides:

equals in class Object

save

@PortedFrom(file="CGLabel.h",
            name="save")
public void save(SaveState ss)

Parameters:

ss - save label using given SS

restore

@PortedFrom(file="CGLabel.h",
            name="restore")
public void restore(SaveState ss,
                                                                              int level)

restore label to given LEVEL using given SS

Parameters:

ss - ss

level - level

toString

public String toString()

Overrides:

toString in class Object

init

@PortedFrom(file="CGLabel.h",
            name="init")
public void init()

init the node - this is not in the constructor because objecs will be reused

contains

@PortedFrom(file="CGLabel.h",
            name="contains")
public boolean contains(int p)

Parameters:

p - p

Returns:

true if p index is contained in simple or complex concepts.

getConceptWithBP

@PortedFrom(file="CGLabel.h",
            name="getConcept")
public ConceptWDep getConceptWithBP(int bp)

Parameters:

bp - bp

Returns:

concept with index bp

getSCConceptWithBP

@Nullable
 @PortedFrom(file="CGLabel.h",
            name="getConcept")
public ConceptWDep getSCConceptWithBP(int bp)

Parameters:

bp - bp

Returns:

concept with index bp

getCCConceptWithBP

@Nullable
 @PortedFrom(file="CGLabel.h",
            name="getConcept")
public ConceptWDep getCCConceptWithBP(int bp)

Parameters:

bp - bp

Returns:

concept with index bp