• Home
• de.uni.freiburg.iig.telematik
• SEPIA
• 1.0.2
• source code
• PropertyCheckingResult.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.sepia.petrinet.properties.PropertyCheckingResult Maven / Gradle / Ivy

package de.uni.freiburg.iig.telematik.sepia.petrinet.properties;

import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractPetriNet.Boundedness;

public enum PropertyCheckingResult {
	TRUE, FALSE, UNKNOWN;
	
	public static PropertyCheckingResult fromBoundedness(Boundedness boundedness){
		switch(boundedness){
		case BOUNDED: return TRUE;
		case UNBOUNDED: return FALSE;
		case UNKNOWN: return UNKNOWN;
		default: return null;
		}
	}
}