fmrisc.ProgramExplorer.Tasks

Class FlattenDeclarations.Result

java.lang.Object

fmrisc.ProgramExplorer.Tasks.FlattenDeclarations.Result

Enclosing class:

FlattenDeclarations

public static class FlattenDeclarations.Result
extends java.lang.Object

The flattening result.

Field Summary

Fields

Modifier and Type	Field and Description
Declaration[]	decls
Formula	goal
java.util.Map<Symbol,Symbol>	map

Constructor Summary

Constructors

Constructor and Description
FlattenDeclarations.Result(Declaration[] decls, Formula goal, java.util.Map<Symbol,Symbol> map)

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

decls

public final Declaration[] decls

goal

public final Formula goal

map

public final java.util.Map<Symbol,Symbol> map

Constructor Detail

FlattenDeclarations.Result

public FlattenDeclarations.Result(Declaration[] decls,
                          Formula goal,
                          java.util.Map<Symbol,Symbol> map)