uk.ac.manchester.cs.jfact.kernel

Class CWDArray

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.CWDArray

All Implemented Interfaces:

Serializable

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

List of concepts with dependencies

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CWDArray(JFactReasonerConfiguration config, int size)

Method Summary

Modifier and Type	Method and Description
boolean	contains(int bp)
boolean	equals(Object obj)
DepSet	get(int bp)
List<ConceptWDep>	getBase()
ConceptWDep	getConceptWithBP(int bp)
ArrayIntMap	getContainedConcepts()
int	hashCode()
int	index(int bp)
void	init() init/clear label
boolean	lesserequal(CWDArray label)
void	restore(int ss, int level)
int	save() save label using given SS
int	size()
String	toString()
List<Restorer>	updateDepSet(DepSet dep)
Restorer	updateDepSet(int index, DepSet dep)

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CWDArray

public CWDArray(JFactReasonerConfiguration config,
                int size)

Parameters:

config - configuration

size - initial size

Method Detail

init

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

init/clear label

getBase

@PortedFrom(file="CWDArray.h",
            name="begin")
public List<ConceptWDep> getBase()

Returns:

list of concepts

getContainedConcepts

@Original
public ArrayIntMap getContainedConcepts()

Returns:

contained concept map

contains

@PortedFrom(file="CWDArray.h",
            name="contains")
public boolean contains(int bp)

Parameters:

bp - bp

Returns:

true if label contains BP (ignoring dep-set)

index

@PortedFrom(file="CWDArray.h",
            name="index")
public int index(int bp)

Parameters:

bp - bp

Returns:

index of given bp

get

@Nullable
 @PortedFrom(file="CWDArray.h",
            name="get")
public DepSet get(int bp)

Parameters:

bp - bp

Returns:

depset for given bp

getConceptWithBP

@Nullable
 @Original
public ConceptWDep getConceptWithBP(int bp)

Parameters:

bp - bp

Returns:

concept with given bp

size

@PortedFrom(file="CWDArray.h",
            name="size")
public int size()

Returns:

size of list

lesserequal

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

Parameters:

label - label

Returns:

true if this list is lesser or equal label

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable
                      Object obj)

Overrides:

equals in class Object

save

@PortedFrom(file="CWDArray.h",
            name="save")
public int save()

save label using given SS

Returns:

save level

updateDepSet

@PortedFrom(file="CWDArray.h",
            name="updateDepSet")
public Restorer updateDepSet(int index,
                                                                                             DepSet dep)

Parameters:

index - index

dep - dep

Returns:

restorer for saved dep set

updateDepSet

@PortedFrom(file="CWDArray.h",
            name="updateDepSet")
public List<Restorer> updateDepSet(DepSet dep)

Parameters:

dep - dep

Returns:

restorer for saved dep set

restore

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

Parameters:

ss - ss

level - level

toString

public String toString()

Overrides:

toString in class Object