Package org.tweetyproject.graphs.util

Class AigLink

java.lang.Object

org.tweetyproject.graphs.GeneralEdge<T>

org.tweetyproject.graphs.Edge<T>

org.tweetyproject.graphs.DirectedEdge<AigNode>

org.tweetyproject.graphs.util.AigLink

public class AigLink
extends DirectedEdge<AigNode>

Representation of a link/edge in a graph. Implements and handles all options relevant for the aig-graph-component

Author:

Lars Bengel

See Also:

• AIG Graph Component

Constructor Summary

Constructors

Constructor	Description
AigLink(AigNode source, AigNode target)	Initializes a new link for the given two nodes
AigLink(AigNode source, AigNode target, String label)	Initializes a new link for the given two nodes with the label

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
String	getColor()	Returns the color associated with the element.
int	hashCode()
boolean	isDeletable()	Returns whether the element is deletable.
boolean	isLabelEditable()	Returns whether the label of the element is editable.
void	setColor(String color)	Sets the color associated with the element.
void	setDeletable(boolean deletable)	Sets whether the element is deletable.
void	setLabelEditable(boolean labelEditable)	Sets whether the label of the element is editable.
String	toJson()	Converts the link to a JSON-String
String	toJson(boolean deletable, boolean labelEditable)	Converts the link to a JSON-String while overriding the options with the given values
String	toString()

Methods inherited from class org.tweetyproject.graphs.Edge

getLabel, getNodeA, getNodeB

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

AigLink

public AigLink(AigNode source,
 AigNode target)

Initializes a new link for the given two nodes

Parameters:

source - some node

target - some node

AigLink

public AigLink(AigNode source,
 AigNode target,
 String label)

Initializes a new link for the given two nodes with the label

Parameters:

source - some node

target - some node

label - some link label

Method Details

toJson

public String toJson(boolean deletable,
 boolean labelEditable)

Converts the link to a JSON-String while overriding the options with the given values

Parameters:

deletable - whether the link should be deletable

labelEditable - whether the link label should be editable

Returns:

JSON-String representation of this link

toJson

public String toJson()

Converts the link to a JSON-String

Returns:

JSON-String representation of this link

isDeletable

public boolean isDeletable()

Returns whether the element is deletable.

Returns:

true if the element can be deleted; false otherwise.

setDeletable

public void setDeletable(boolean deletable)

Sets whether the element is deletable.

Parameters:

deletable - true to allow deletion of the element; false to prevent it.

isLabelEditable

public boolean isLabelEditable()

Returns whether the label of the element is editable.

Returns:

true if the label can be edited; false otherwise.

setLabelEditable

public void setLabelEditable(boolean labelEditable)

Sets whether the label of the element is editable.

Parameters:

labelEditable - true to make the label editable; false to make it read-only.

getColor

public String getColor()

Returns the color associated with the element.

Returns:

a String representing the color (e.g., a hex code like "#FF0000").

setColor

public void setColor(String color)

Sets the color associated with the element.

Parameters:

color - a String representing the color (e.g., a hex code like "#00FF00").

toString

public String toString()

Overrides:

toString in class DirectedEdge<AigNode>

equals

public boolean equals(Object o)

Overrides:

equals in class Edge<AigNode>

hashCode

public int hashCode()

Overrides:

hashCode in class Edge<AigNode>