net.automatalib.util.minimizer.BlockAutomaton Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of automata-util Show documentation

This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.

There is a newer version: 0.11.0

Show newest version

/* Copyright (C) 2013 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.util.minimizer;

import java.util.Arrays;
import java.util.List;

/**
 * A "block automaton", i.e. an automaton-style representation of the
 * minimization result in which each block forms a state.
 * 
 * @author Malte Isberner 
 *
 * @param  state class.
 * @param  transition label class.
 */
public class BlockAutomaton {
	
	// Edges array
	private final BlockEdge[][] edges;
	
	/**
	 * Constructor. Creates the block automaton.
	 * @param minResult the minimization result.
	 */
	@SuppressWarnings("unchecked")
	BlockAutomaton(MinimizationResult minResult) {
		edges = new BlockEdge[minResult.getNumBlocks()][];
		
		for(Block block : minResult.getBlocks()) {
			int id = block.getId();
			State rep = block.getStates().choose();
			List> outgoing = rep.getOutgoing();
			BlockEdge[] array = new BlockEdge[outgoing.size()];
			int i = 0;
			for(Edge e : outgoing) {
				array[i++] = new BlockEdge(block,
						e.getTarget().getBlock(),
						e.getTransitionLabel().getOriginalLabel());
			}
			edges[id] = array;
		}
	}
	
	/**
	 * Retrieves a list of outgoing edges of a block (state).
	 * @param block the block (state).
	 * @return the outgoing edges of the given block (state).
	 */
	public List> getOutgoingEdges(Block block) {
		return Arrays.asList(edges[block.getId()]);
	}
	
	/**
	 * Retrieves an array of outgoing edges of a block (state).
	 * @see #getOutgoingEdges(Block)
	 */
	public BlockEdge[] getOutgoingEdgeArray(Block block) {
		return edges[block.getId()];
	}
}