org.coode.oppl.bindingtree

Class BindingNode

java.lang.Object

org.coode.oppl.bindingtree.BindingNode

All Implemented Interfaces:

Renderable

public class BindingNode
extends Object
implements Renderable

Author:

Luigi Iannone

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<Assignment>	assignments
protected Set<Variable<?>>	unassignedVariables
protected org.coode.oppl.bindingtree.BindingNode.VariableInspector	unassignedVariablesUpdater

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BindingNode()
	BindingNode(Assignment... assignments)
	BindingNode(Assignment assignment)
	BindingNode(BindingNode bindingNode)
	BindingNode(Collection<? extends Variable<?>> unassignedVariables)
	BindingNode(Collection<Assignment> assignments, Collection<? extends Variable<?>> unassignedVariables)

Method Summary

Modifier and Type	Method and Description
void	accept(BindingVisitor visitor)
<O> O	accept(BindingVisitorEx<O> visitor)
void	addAssignment(Assignment assignment)
void	addUnassignedVariable(Variable<?> v) Adds a variable to the set of the unassigned ones
boolean	agreesWith(BindingNode bindingNode) Determines if this binding node assignments agree with those in the input binding node
boolean	containsAssignedVariable(Variable<?> v)
static BindingNode	createNewEmptyBindingNode()
boolean	equals(Object obj)
Set<Variable<?>>	getAssignedVariables()
Collection<Assignment>	getAssignments()
org.semanticweb.owlapi.model.OWLObject	getAssignmentValue(Variable<?> variable, ValueComputationParameters parameters)
static BindingNode	getEmptyBindingNode()
Set<Variable<?>>	getUnassignedVariables()
int	hashCode()
boolean	isEmpty()
boolean	isLeaf()
String	render(ConstraintSystem cs)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

assignments

protected final Set<Assignment> assignments

unassignedVariables

protected final Set<Variable<?>> unassignedVariables

unassignedVariablesUpdater

protected final org.coode.oppl.bindingtree.BindingNode.VariableInspector unassignedVariablesUpdater

Constructor Detail

BindingNode

public BindingNode(Collection<Assignment> assignments,
                   Collection<? extends Variable<?>> unassignedVariables)

Parameters:

assignments - assignments

unassignedVariables - unassignedVariables

BindingNode

public BindingNode(Assignment... assignments)

Parameters:

assignments - assignments

BindingNode

public BindingNode(Collection<? extends Variable<?>> unassignedVariables)

Parameters:

unassignedVariables - unassignedVariables

BindingNode

public BindingNode(Assignment assignment)

Parameters:

assignment - assignment

BindingNode

public BindingNode(BindingNode bindingNode)

Parameters:

bindingNode - bindingNode

BindingNode

protected BindingNode()

Method Detail

accept

public void accept(BindingVisitor visitor)

Parameters:

visitor - visitor

accept

public <O> O accept(BindingVisitorEx<O> visitor)

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor value

isLeaf

public boolean isLeaf()

Returns:

true if leaf

toString

public String toString()

Overrides:

toString in class Object

render

public String render(ConstraintSystem cs)

Specified by:

render in interface Renderable

Parameters:

cs - constraintSystem

Returns:

rendering

getAssignmentValue

public org.semanticweb.owlapi.model.OWLObject getAssignmentValue(Variable<?> variable,
                                                                 ValueComputationParameters parameters)

Parameters:

variable - variable

parameters - parameters

Returns:

assignment

addAssignment

public void addAssignment(Assignment assignment)

Parameters:

assignment - assignment

getAssignedVariables

public Set<Variable<?>> getAssignedVariables()

Returns:

assigned variables

containsAssignedVariable

public boolean containsAssignedVariable(Variable<?> v)

Parameters:

v - v

Returns:

true if v is an assigned variable

getAssignments

public Collection<Assignment> getAssignments()

Returns:

the assignments

getUnassignedVariables

public Set<Variable<?>> getUnassignedVariables()

Returns:

unassigned variables

addUnassignedVariable

public void addUnassignedVariable(Variable<?> v)

Adds a variable to the set of the unassigned ones

Parameters:

v - v

isEmpty

public boolean isEmpty()

Returns:

true if the Binding node has got no assigned variable nor to assign variables

getEmptyBindingNode

public static BindingNode getEmptyBindingNode()

Returns:

empty binding node

createNewEmptyBindingNode

public static BindingNode createNewEmptyBindingNode()

Returns:

new binding node

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

agreesWith

public boolean agreesWith(BindingNode bindingNode)

Determines if this binding node assignments agree with those in the input binding node

Parameters:

bindingNode - The input BindingNode. Cannot be null.

Returns:

true if this BindingNode agrees with the input one.

Throws:

NullPointerException - if the input binding node is null.