de.uni.freiburg.iig.telematik.jagal.ts.abstr.AbstractState Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of JAGAL Show documentation

JAGAL provides implementations for directed graphs (weighted and unweighted) and various types of transition systems as well as utils for graph traversal and modification.

The newest version!

package de.uni.freiburg.iig.telematik.jagal.ts.abstr;

import java.io.Serializable;

import de.uni.freiburg.iig.telematik.jagal.graph.Vertex;

public abstract class AbstractState extends Vertex implements Serializable {

	private static final long serialVersionUID = 5995539025502231285L;

	public static final String DEFAULT_STATE_NAME = "<->";

	private boolean isLambdaState = false;

	protected AbstractState() {
		super(DEFAULT_STATE_NAME);
	}

	protected AbstractState(String name) {
		super(name);
	}

	protected AbstractState(String name, boolean isLambdaState) {
		this(name);
		setLambdaState(isLambdaState);
	}

	protected AbstractState(String name, O element) {
		super(name, element);
	}

	public boolean isLambdaState() {
		return isLambdaState;
	}

	public final void setLambdaState(boolean isLambdaState) {
		this.isLambdaState = isLambdaState;
	}

}