uk.ac.manchester.cs.jfact.kernel

Class ConceptWDep

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ConceptWDep

@PortedFrom(file="ConceptWithDep.h",
            name="Concept")
public class ConceptWDep
extends Object

Constructor Summary

Constructors

Constructor and Description
ConceptWDep(int p) c'tor with empty dep-set
ConceptWDep(int p, DepSet dep) usual c'tor

Method Summary

Methods

Modifier and Type	Method and Description
void	addDep(DepSet d) add dep-set to a CWD
boolean	equals(Object obj)
int	getConcept()
DepSet	getDep() get dep-set part
int	hashCode()
String	toString() print concept and a dep-set

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptWDep

public ConceptWDep(int p)

c'tor with empty dep-set

ConceptWDep

public ConceptWDep(int p,
           DepSet dep)

usual c'tor

Method Detail

getConcept

@PortedFrom(file="ConceptWithDep.h",
            name="getC")
public int getConcept()

getDep

@PortedFrom(file="ConceptWithDep.h",
            name="getDep")
public DepSet getDep()

get dep-set part

addDep

@PortedFrom(file="ConceptWithDep.h",
            name="addDep")
public void addDep(DepSet d)

add dep-set to a CWD

toString

public String toString()

print concept and a dep-set

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object