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

Methods

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)
ArrayIntMap	get_cc_concepts()
List<ConceptWDep>	get_cc()
ArrayIntMap	get_sc_concepts()
List<ConceptWDep>	get_sc()
ConceptWDep	getCCConceptWithBP(int bp)
ConceptWDep	getConceptWithBP(int bp)
CWDArray	getLabel(DagTag tag)
ConceptWDep	getSCConceptWithBP(int bp)
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 - configuration

Method Detail

get_sc

@Original
public List<ConceptWDep> get_sc()

Returns:

simple concepts list

get_cc

@Original
public List<ConceptWDep> get_cc()

Returns:

complext concepts list

get_sc_concepts

@Original
public ArrayIntMap get_sc_concepts()

Returns:

simple concepts map

get_cc_concepts

@Original
public ArrayIntMap get_cc_concepts()

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

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

Parameters:

bp - bp

Returns:

concept with index bp

getCCConceptWithBP

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

Parameters:

bp - bp

Returns:

concept with index bp