net.automatalib.ts.powerset.FastPowersetDTS Maven / Gradle / Ivy

Go to download
/* Copyright (C) 2013-2014 TU Dortmund
 * This file is part of AutomataLib, http://www.automatalib.net/.
 * 
 * AutomataLib is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License version 3.0 as published by the Free Software Foundation.
 * 
 * AutomataLib is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public
 * License along with AutomataLib; if not, see
 * http://www.gnu.de/documents/lgpl.en.html.
 */
package net.automatalib.ts.powerset;

import java.util.Collection;
import java.util.HashSet;
import java.util.Set;

import net.automatalib.commons.util.nid.NumericID;
import net.automatalib.ts.DeterministicTransitionSystem;
import net.automatalib.ts.PowersetViewTS;
import net.automatalib.ts.TransitionSystem;


public class FastPowersetDTS implements
		DeterministicTransitionSystem, I, Set>,
		PowersetViewTS,I,Set,S,T> {
	
	private final TransitionSystem ts;
	
	public FastPowersetDTS(TransitionSystem ts) {
		this.ts = ts;
	}

	@Override
	public FastPowersetState getInitialState() {
		FastPowersetState result = new FastPowersetState();
		for(S init : ts.getInitialStates())
			result.add(init, init.getId());
		return result;
	}

	@Override
	public Set getTransition(FastPowersetState state, I input) {
		Set result = new HashSet<>();
		for(S s : state) {
			Collection transitions = ts.getTransitions(s, input);
			result.addAll(transitions);
		}
		return result;
	}

	@Override
	public FastPowersetState getSuccessor(Set transition) {
		FastPowersetState succ = new FastPowersetState();
		for(T t : transition) {
			S succS = ts.getSuccessor(t);
			succ.add(succS, succS.getId());
		}
		
		return succ;
	}

	@Override
	public FastPowersetState getSuccessor(FastPowersetState state, I input) {
		FastPowersetState succ = new FastPowersetState();
		
		for(S s : state) {
			Collection succs = ts.getSuccessors(s, input);
			for(S succS : succs) {
				succ.add(succS, succS.getId());
			}
		}
		
		return succ;
	}

	@Override
	public Collection getOriginalStates(FastPowersetState state) {
		return state;
	}

	@Override
	public Collection getOriginalTransitions(
			Set transition) {
		return transition;
	}
	
	
	

}