• Home
• de.uni.freiburg.iig.telematik
• JAGAL
• 1.0.1
• source code
• TSComplexity.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de.uni.freiburg.iig.telematik.jagal.ts.labeled.TSComplexity Maven / Gradle / Ivy

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

import java.io.Serializable;

public class TSComplexity implements Serializable {
	
	private static final long serialVersionUID = 2341126394227035338L;

	private static final String complexityFormat = "|S| = %s, |E| = %s, |T| = %s";

	public int numStates = -1;
	public int numEvents = -1;
	public int numTransitions = -1;
	
	public TSComplexity(int numStates, int numEvents, int numTransitions) {
		super();
		this.numStates = numStates;
		this.numEvents = numEvents;
		this.numTransitions = numTransitions;
	}
	
	@Override
	public String toString(){
		return String.format(complexityFormat, numStates, numEvents, numTransitions);
	}
	
}