uk.ac.manchester.cs.jfact.kernel

Class CWDArray

java.lang.Object

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

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

Constructor Summary

Constructors

Constructor and Description
CWDArray()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contains(int bp) check whether label contains BP (ignoring dep-set)
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)
protected void	private_add(ConceptWDep p) adds concept P to a label - to be called only from CGLabel
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

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CWDArray

public CWDArray()

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

getContainedConcepts

@Original
public ArrayIntMap getContainedConcepts()

private_add

@Original
protected void private_add(ConceptWDep p)

adds concept P to a label - to be called only from CGLabel

contains

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

check whether label contains BP (ignoring dep-set)

index

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

get

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

getConceptWithBP

@Original
public ConceptWDep getConceptWithBP(int bp)

size

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

lesserequal

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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

save

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

save label using given SS

updateDepSet

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

updateDepSet

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

restore

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

toString

public String toString()

Overrides:

toString in class Object