# DO NOT DELETE

parser/util.o: parser/util.h Type/typedefs.h
parser/StringBuffer.o: parser/StringBuffer.h
parser/VariableStackMap.o: parser/VariableStackMap.h parser/util.h
parser/VariableStackMap.o: Type/typedefs.h Net/VariableDefinition.h
parser/Printer.o: parser/Printer.h Type/typedefs.h parser/StringBuffer.h
parser/Printer.o: parser/util.h
parser/NameList.o: parser/NameList.h
Expression/Function.o: Expression/Function.h Net/VariableDefinition.h
Expression/Function.o: Type/typedefs.h Expression/Variable.h
Expression/Function.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/Function.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Function.o: Value/Error.h Expression/ExpressionList.h
Expression/Function.o: Expression/Substitution.h
Expression/Substitution.o: Expression/Substitution.h Expression/Expression.h
Expression/Substitution.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Substitution.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Substitution.o: Value/Error.h Net/VariableDefinition.h
Expression/ExpressionList.o: Expression/ExpressionList.h Type/typedefs.h
Expression/ExpressionList.o: Expression/Expression.h Type/Type.h
Expression/ExpressionList.o: parser/util.h Type/Constraint.h Value/Value.h
Expression/ExpressionList.o: Value/Valuation.h Value/Error.h
Expression/ExpressionSet.o: Expression/ExpressionSet.h
Expression/ExpressionSet.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/ExpressionSet.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Expression/ExpressionSet.o: Value/Valuation.h Value/Error.h
Expression/ExpressionMSet.o: Expression/ExpressionMSet.h
Expression/ExpressionMSet.o: Expression/Expression.h Type/Type.h
Expression/ExpressionMSet.o: parser/util.h Type/typedefs.h Type/Constraint.h
Expression/ExpressionMSet.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/ExpressionMSet.o: Expression/Marking.h Expression/Constant.h
Expression/ExpressionMSet.o: Type/CardType.h Value/LeafValue.h Net/Net.h
Expression/ExpressionMSet.o: Graph/BitBuffer.h
Expression/Expression.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/Expression.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Expression/Expression.o: Value/Valuation.h Value/Error.h
Expression/Expression.o: Expression/allExpressions.h Expression/Typecast.h
Expression/Expression.o: Expression/Variable.h Expression/Constant.h
Expression/Expression.o: Expression/Undefined.h Expression/StructExpression.h
Expression/Expression.o: Expression/StructComponent.h
Expression/Expression.o: Expression/StructAssign.h
Expression/Expression.o: Expression/UnionExpression.h
Expression/Expression.o: Expression/UnionComponent.h
Expression/Expression.o: Expression/UnionTypeExpression.h
Expression/Expression.o: Expression/VectorExpression.h Type/VectorType.h
Expression/Expression.o: Expression/VectorIndex.h Expression/VectorAssign.h
Expression/Expression.o: Expression/VectorShift.h Expression/UnopExpression.h
Expression/Expression.o: Expression/BinopExpression.h
Expression/Expression.o: Expression/BufferExpression.h Type/BufferType.h
Expression/Expression.o: Expression/BufferUnop.h Expression/BufferRemove.h
Expression/Expression.o: Expression/BufferWrite.h Expression/BufferIndex.h
Expression/Expression.o: Expression/IfThenElse.h Expression/ExpressionList.h
Expression/Expression.o: Expression/BooleanBinop.h Expression/NotExpression.h
Expression/Expression.o: Expression/RelopExpression.h
Expression/Expression.o: Expression/SetExpression.h Expression/TemporalUnop.h
Expression/Expression.o: Expression/TemporalBinop.h
Expression/Expression.o: Expression/CardinalityExpression.h
Expression/Expression.o: Expression/Marking.h
Expression/Expression.o: Expression/TransitionQualifier.h
Expression/Expression.o: Expression/PlaceContents.h Expression/Submarking.h
Expression/Expression.o: Expression/Mapping.h Expression/EmptySet.h
Expression/Expression.o: Automata/Property.h Automata/PropertyState.h
Expression/Expression.o: Automata/BitVector.h Expression/ExpressionSet.h
Expression/Expression.o: Compilation/base/CExpression.h parser/StringBuffer.h
Expression/Typecast.o: Expression/Typecast.h Expression/Expression.h
Expression/Typecast.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Typecast.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Typecast.o: Value/Error.h Value/LeafValue.h parser/Printer.h
Expression/Typecast.o: parser/StringBuffer.h Compilation/base/CExpression.h
Expression/Variable.o: Expression/Variable.h Expression/Expression.h
Expression/Variable.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Variable.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Variable.o: Value/Error.h Net/VariableDefinition.h
Expression/Variable.o: Expression/VariableSet.h Expression/Constant.h
Expression/Variable.o: Expression/Substitution.h parser/Printer.h
Expression/Variable.o: parser/StringBuffer.h Net/Transition.h
Expression/Variable.o: Compilation/base/CExpression.h
Expression/Constant.o: Expression/Constant.h Expression/Expression.h
Expression/Constant.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Constant.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Constant.o: Value/Error.h Value/LeafValue.h Automata/Property.h
Expression/Constant.o: Automata/PropertyState.h Automata/BitVector.h
Expression/Constant.o: Compilation/base/CExpression.h parser/StringBuffer.h
Expression/Undefined.o: Expression/Undefined.h Expression/Expression.h
Expression/Undefined.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Undefined.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Undefined.o: Value/Error.h parser/Printer.h parser/StringBuffer.h
Expression/Undefined.o: Compilation/base/CExpression.h
Expression/StructExpression.o: Expression/StructExpression.h
Expression/StructExpression.o: Expression/Expression.h Type/Type.h
Expression/StructExpression.o: parser/util.h Type/typedefs.h
Expression/StructExpression.o: Type/Constraint.h Value/Value.h
Expression/StructExpression.o: Value/Valuation.h Value/Error.h
Expression/StructExpression.o: Type/StructType.h Type/ComponentList.h
Expression/StructExpression.o: Value/StructValue.h Value/ValueList.h
Expression/StructExpression.o: parser/Printer.h parser/StringBuffer.h
Expression/StructExpression.o: Compilation/base/CExpression.h
Expression/StructComponent.o: Expression/StructComponent.h
Expression/StructComponent.o: Expression/Expression.h Type/Type.h
Expression/StructComponent.o: parser/util.h Type/typedefs.h Type/Constraint.h
Expression/StructComponent.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/StructComponent.o: Type/StructType.h Type/ComponentList.h
Expression/StructComponent.o: Value/StructValue.h Value/ValueList.h
Expression/StructComponent.o: parser/Printer.h parser/StringBuffer.h
Expression/StructComponent.o: Compilation/base/CExpression.h
Expression/StructAssign.o: Expression/StructAssign.h Expression/Expression.h
Expression/StructAssign.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/StructAssign.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/StructAssign.o: Value/Error.h Type/StructType.h
Expression/StructAssign.o: Type/ComponentList.h Value/StructValue.h
Expression/StructAssign.o: Value/ValueList.h parser/Printer.h
Expression/StructAssign.o: parser/StringBuffer.h
Expression/StructAssign.o: Compilation/base/CExpression.h
Expression/UnionExpression.o: Expression/UnionExpression.h
Expression/UnionExpression.o: Expression/Expression.h Type/Type.h
Expression/UnionExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
Expression/UnionExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnionExpression.o: Type/UnionType.h Type/ComponentList.h
Expression/UnionExpression.o: Value/UnionValue.h parser/Printer.h
Expression/UnionExpression.o: parser/StringBuffer.h
Expression/UnionExpression.o: Compilation/base/CExpression.h
Expression/UnionComponent.o: Expression/UnionComponent.h
Expression/UnionComponent.o: Expression/Expression.h Type/Type.h
Expression/UnionComponent.o: parser/util.h Type/typedefs.h Type/Constraint.h
Expression/UnionComponent.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnionComponent.o: Type/UnionType.h Type/ComponentList.h
Expression/UnionComponent.o: Value/UnionValue.h parser/Printer.h
Expression/UnionComponent.o: parser/StringBuffer.h
Expression/UnionComponent.o: Compilation/base/CExpression.h
Expression/UnionTypeExpression.o: Expression/UnionTypeExpression.h
Expression/UnionTypeExpression.o: Expression/Expression.h Type/Type.h
Expression/UnionTypeExpression.o: parser/util.h Type/typedefs.h
Expression/UnionTypeExpression.o: Type/Constraint.h Value/Value.h
Expression/UnionTypeExpression.o: Value/Valuation.h Value/Error.h
Expression/UnionTypeExpression.o: Type/UnionType.h Type/ComponentList.h
Expression/UnionTypeExpression.o: Value/UnionValue.h Type/BoolType.h
Expression/UnionTypeExpression.o: Value/LeafValue.h Net/Net.h
Expression/UnionTypeExpression.o: Graph/BitBuffer.h parser/Printer.h
Expression/UnionTypeExpression.o: parser/StringBuffer.h
Expression/UnionTypeExpression.o: Compilation/base/CExpression.h
Expression/VectorExpression.o: Expression/VectorExpression.h
Expression/VectorExpression.o: Expression/Expression.h Type/Type.h
Expression/VectorExpression.o: parser/util.h Type/typedefs.h
Expression/VectorExpression.o: Type/Constraint.h Value/Value.h
Expression/VectorExpression.o: Value/Valuation.h Value/Error.h
Expression/VectorExpression.o: Type/VectorType.h Value/VectorValue.h
Expression/VectorExpression.o: Value/ValueList.h parser/Printer.h
Expression/VectorExpression.o: parser/StringBuffer.h
Expression/VectorExpression.o: Compilation/base/CExpression.h
Expression/VectorIndex.o: Expression/VectorIndex.h Expression/Expression.h
Expression/VectorIndex.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/VectorIndex.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorIndex.o: Value/Error.h Type/VectorType.h Value/VectorValue.h
Expression/VectorIndex.o: Value/ValueList.h Net/VariableDefinition.h
Expression/VectorIndex.o: parser/Printer.h parser/StringBuffer.h
Expression/VectorIndex.o: Compilation/base/CExpression.h
Expression/VectorIndex.o: Expression/Constant.h
Expression/VectorAssign.o: Expression/VectorAssign.h Expression/Expression.h
Expression/VectorAssign.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/VectorAssign.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorAssign.o: Value/Error.h Value/VectorValue.h
Expression/VectorAssign.o: Value/ValueList.h Type/VectorType.h
Expression/VectorAssign.o: parser/Printer.h parser/StringBuffer.h
Expression/VectorAssign.o: Compilation/base/CExpression.h
Expression/VectorAssign.o: Expression/Constant.h
Expression/VectorShift.o: Expression/VectorShift.h Expression/Expression.h
Expression/VectorShift.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/VectorShift.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorShift.o: Value/Error.h Value/VectorValue.h Value/ValueList.h
Expression/VectorShift.o: Value/LeafValue.h Type/VectorType.h
Expression/VectorShift.o: parser/Printer.h parser/StringBuffer.h
Expression/VectorShift.o: Compilation/base/CExpression.h
Expression/VectorShift.o: Expression/Constant.h Net/Net.h Graph/BitBuffer.h
Expression/VectorShift.o: Type/CardType.h
Expression/UnopExpression.o: Expression/UnopExpression.h
Expression/UnopExpression.o: Expression/Expression.h Type/Type.h
Expression/UnopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
Expression/UnopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnopExpression.o: Type/IntType.h Type/CardType.h Value/LeafValue.h
Expression/UnopExpression.o: Net/Net.h Graph/BitBuffer.h parser/Printer.h
Expression/UnopExpression.o: parser/StringBuffer.h
Expression/UnopExpression.o: Compilation/base/CExpression.h
Expression/BinopExpression.o: Expression/BinopExpression.h
Expression/BinopExpression.o: Expression/Expression.h Type/Type.h
Expression/BinopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
Expression/BinopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/BinopExpression.o: Type/IntType.h Type/CardType.h
Expression/BinopExpression.o: Value/LeafValue.h Net/Net.h Graph/BitBuffer.h
Expression/BinopExpression.o: parser/Printer.h parser/StringBuffer.h
Expression/BinopExpression.o: Compilation/base/CExpression.h
Expression/BinopExpression.o: Expression/Constant.h
Expression/BufferExpression.o: Expression/BufferExpression.h
Expression/BufferExpression.o: Expression/Expression.h Type/Type.h
Expression/BufferExpression.o: parser/util.h Type/typedefs.h
Expression/BufferExpression.o: Type/Constraint.h Value/Value.h
Expression/BufferExpression.o: Value/Valuation.h Value/Error.h
Expression/BufferExpression.o: Type/BufferType.h Value/BufferValue.h
Expression/BufferExpression.o: Value/ValueList.h parser/Printer.h
Expression/BufferExpression.o: parser/StringBuffer.h
Expression/BufferExpression.o: Compilation/base/CExpression.h
Expression/BufferWrite.o: Expression/BufferWrite.h Expression/Expression.h
Expression/BufferWrite.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BufferWrite.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferWrite.o: Value/Error.h Type/BufferType.h Value/BufferValue.h
Expression/BufferWrite.o: Value/ValueList.h Value/LeafValue.h
Expression/BufferWrite.o: parser/Printer.h parser/StringBuffer.h
Expression/BufferWrite.o: Compilation/base/CExpression.h
Expression/BufferWrite.o: Expression/Constant.h
Expression/BufferUnop.o: Expression/BufferUnop.h Expression/Expression.h
Expression/BufferUnop.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BufferUnop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferUnop.o: Value/Error.h Type/BufferType.h Value/BufferValue.h
Expression/BufferUnop.o: Value/ValueList.h Net/Net.h Graph/BitBuffer.h
Expression/BufferUnop.o: Type/CardType.h Value/LeafValue.h parser/Printer.h
Expression/BufferUnop.o: parser/StringBuffer.h Compilation/base/CExpression.h
Expression/BufferUnop.o: Expression/Constant.h
Expression/BufferRemove.o: Expression/BufferRemove.h Expression/Expression.h
Expression/BufferRemove.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BufferRemove.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferRemove.o: Value/Error.h Type/BufferType.h
Expression/BufferRemove.o: Value/BufferValue.h Value/ValueList.h Net/Net.h
Expression/BufferRemove.o: Graph/BitBuffer.h Type/CardType.h
Expression/BufferRemove.o: Value/LeafValue.h parser/Printer.h
Expression/BufferRemove.o: parser/StringBuffer.h
Expression/BufferRemove.o: Compilation/base/CExpression.h
Expression/BufferRemove.o: Expression/Constant.h
Expression/BufferIndex.o: Expression/BufferIndex.h Expression/Expression.h
Expression/BufferIndex.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BufferIndex.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferIndex.o: Value/Error.h
Expression/IfThenElse.o: Expression/IfThenElse.h Expression/Expression.h
Expression/IfThenElse.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/IfThenElse.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/IfThenElse.o: Value/Error.h Expression/ExpressionList.h
Expression/IfThenElse.o: parser/Printer.h parser/StringBuffer.h
Expression/IfThenElse.o: Compilation/base/CExpression.h
Expression/BooleanBinop.o: Expression/BooleanBinop.h Expression/Expression.h
Expression/BooleanBinop.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/BooleanBinop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BooleanBinop.o: Value/Error.h Type/BoolType.h Value/LeafValue.h
Expression/BooleanBinop.o: Net/Net.h Graph/BitBuffer.h Expression/Constant.h
Expression/BooleanBinop.o: Expression/NotExpression.h
Expression/BooleanBinop.o: Net/VariableDefinition.h Automata/Property.h
Expression/BooleanBinop.o: Automata/PropertyState.h Automata/BitVector.h
Expression/BooleanBinop.o: parser/Printer.h parser/StringBuffer.h
Expression/BooleanBinop.o: Compilation/base/CExpression.h
Expression/NotExpression.o: Expression/NotExpression.h
Expression/NotExpression.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/NotExpression.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Expression/NotExpression.o: Value/Valuation.h Value/Error.h Value/LeafValue.h
Expression/NotExpression.o: Expression/Constant.h Automata/Property.h
Expression/NotExpression.o: Automata/PropertyState.h Automata/BitVector.h
Expression/NotExpression.o: parser/Printer.h parser/StringBuffer.h
Expression/NotExpression.o: Compilation/base/CExpression.h
Expression/RelopExpression.o: Expression/RelopExpression.h
Expression/RelopExpression.o: Expression/Expression.h Type/Type.h
Expression/RelopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
Expression/RelopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/RelopExpression.o: Net/Net.h Graph/BitBuffer.h Type/BoolType.h
Expression/RelopExpression.o: Value/LeafValue.h Expression/Constant.h
Expression/RelopExpression.o: parser/Printer.h parser/StringBuffer.h
Expression/RelopExpression.o: Compilation/base/CExpression.h
Expression/SetExpression.o: Expression/SetExpression.h
Expression/SetExpression.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/SetExpression.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Expression/SetExpression.o: Value/Valuation.h Value/Error.h Net/Net.h
Expression/SetExpression.o: Graph/BitBuffer.h Expression/Constant.h
Expression/SetExpression.o: Expression/EmptySet.h Type/BoolType.h
Expression/SetExpression.o: Value/LeafValue.h Net/PlaceMarking.h
Expression/SetExpression.o: parser/Printer.h parser/StringBuffer.h
Expression/SetExpression.o: Compilation/base/CExpression.h
Expression/TemporalUnop.o: Expression/TemporalUnop.h Expression/Expression.h
Expression/TemporalUnop.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/TemporalUnop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/TemporalUnop.o: Value/Error.h Type/BoolType.h Net/Net.h
Expression/TemporalUnop.o: Graph/BitBuffer.h Automata/Property.h
Expression/TemporalUnop.o: Automata/PropertyState.h Automata/BitVector.h
Expression/TemporalUnop.o: parser/Printer.h parser/StringBuffer.h
Expression/TemporalBinop.o: Expression/TemporalBinop.h
Expression/TemporalBinop.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/TemporalBinop.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Expression/TemporalBinop.o: Value/Valuation.h Value/Error.h Type/BoolType.h
Expression/TemporalBinop.o: Net/Net.h Graph/BitBuffer.h Automata/Property.h
Expression/TemporalBinop.o: Automata/PropertyState.h Automata/BitVector.h
Expression/TemporalBinop.o: parser/Printer.h parser/StringBuffer.h
Expression/CardinalityExpression.o: Expression/CardinalityExpression.h
Expression/CardinalityExpression.o: Expression/Expression.h Type/Type.h
Expression/CardinalityExpression.o: parser/util.h Type/typedefs.h
Expression/CardinalityExpression.o: Type/Constraint.h Value/Value.h
Expression/CardinalityExpression.o: Value/Valuation.h Value/Error.h
Expression/CardinalityExpression.o: Expression/Marking.h Net/PlaceMarking.h
Expression/CardinalityExpression.o: Net/Net.h Graph/BitBuffer.h
Expression/CardinalityExpression.o: Type/CardType.h Value/LeafValue.h
Expression/CardinalityExpression.o: parser/Printer.h parser/StringBuffer.h
Expression/CardinalityExpression.o: Compilation/base/CExpression.h
Expression/CardinalityExpression.o: Expression/PlaceContents.h Net/Place.h
Expression/TransitionQualifier.o: Expression/TransitionQualifier.h
Expression/TransitionQualifier.o: Expression/Expression.h Type/Type.h
Expression/TransitionQualifier.o: parser/util.h Type/typedefs.h
Expression/TransitionQualifier.o: Type/Constraint.h Value/Value.h
Expression/TransitionQualifier.o: Value/Valuation.h Value/Error.h Net/Net.h
Expression/TransitionQualifier.o: Graph/BitBuffer.h Type/BoolType.h
Expression/TransitionQualifier.o: Net/Transition.h parser/Printer.h
Expression/TransitionQualifier.o: parser/StringBuffer.h
Expression/PlaceContents.o: Expression/PlaceContents.h
Expression/PlaceContents.o: Expression/Expression.h Type/Type.h parser/util.h
Expression/PlaceContents.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Expression/PlaceContents.o: Value/Valuation.h Value/Error.h Net/Place.h
Expression/PlaceContents.o: Net/GlobalMarking.h Net/PlaceMarking.h
Expression/PlaceContents.o: Graph/BitBuffer.h parser/Printer.h
Expression/PlaceContents.o: parser/StringBuffer.h
Expression/PlaceContents.o: Compilation/base/CExpression.h
Expression/Submarking.o: Expression/Submarking.h Expression/Expression.h
Expression/Submarking.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Submarking.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Submarking.o: Value/Error.h Net/VariableDefinition.h
Expression/Submarking.o: Net/PlaceMarking.h Expression/Substitution.h
Expression/Submarking.o: Expression/Variable.h Value/LeafValue.h
Expression/Submarking.o: parser/Printer.h parser/StringBuffer.h
Expression/Submarking.o: Compilation/base/CExpression.h
Expression/Mapping.o: Expression/Mapping.h Expression/Expression.h
Expression/Mapping.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Mapping.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Mapping.o: Value/Error.h Expression/Marking.h
Expression/Mapping.o: Net/VariableDefinition.h Net/PlaceMarking.h
Expression/Mapping.o: Value/LeafValue.h Expression/Substitution.h
Expression/Mapping.o: Expression/Variable.h parser/Printer.h
Expression/Mapping.o: parser/StringBuffer.h Compilation/base/CExpression.h
Expression/Mapping.o: Expression/Constant.h Expression/PlaceContents.h
Expression/Mapping.o: Net/Place.h
Expression/EmptySet.o: Expression/EmptySet.h Expression/Expression.h
Expression/EmptySet.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/EmptySet.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/EmptySet.o: Value/Error.h Net/PlaceMarking.h parser/Printer.h
Expression/EmptySet.o: parser/StringBuffer.h
Expression/Quantifier.o: Expression/Quantifier.h Expression/Expression.h
Expression/Quantifier.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Quantifier.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Quantifier.o: Value/Error.h Net/VariableDefinition.h
Expression/Quantifier.o: Value/LeafValue.h
Expression/Marking.o: Expression/Marking.h Expression/Expression.h
Expression/Marking.o: Type/Type.h parser/util.h Type/typedefs.h
Expression/Marking.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Marking.o: Value/Error.h Net/PlaceMarking.h Value/LeafValue.h
Expression/Marking.o: Net/Place.h Expression/Constant.h Net/Net.h
Expression/Marking.o: Graph/BitBuffer.h Type/CardType.h
Expression/Marking.o: Expression/ExpressionList.h Expression/IfThenElse.h
Expression/Marking.o: Expression/Typecast.h Net/VariableDefinition.h
Expression/Marking.o: Expression/ExpressionMSet.h Expression/EmptySet.h
Expression/Marking.o: parser/Printer.h parser/StringBuffer.h
Expression/Marking.o: Compilation/base/CExpression.h
Expression/Token.o: Expression/Token.h Net/GlobalMarking.h Net/PlaceMarking.h
Expression/Token.o: Value/Value.h Type/typedefs.h Graph/BitBuffer.h
Expression/Token.o: Expression/Marking.h Expression/Expression.h Type/Type.h
Expression/Token.o: parser/util.h Type/Constraint.h Value/Valuation.h
Expression/Token.o: Value/Error.h Expression/VariableSet.h
Expression/VariableSet.o: Expression/VariableSet.h Net/VariableDefinition.h
Expression/VariableSet.o: Type/typedefs.h
Net/LNet.o: Net/LNet.h Graph/BitBuffer.h Type/typedefs.h Net/GlobalMarking.h
Net/LNet.o: Net/PlaceMarking.h Value/Value.h Net/Net.h parser/util.h
Net/LNet.o: Net/Transition.h Value/Error.h Type/Constraint.h parser/Printer.h
Net/LNet.o: parser/StringBuffer.h Net/Place.h Value/Valuation.h Type/Type.h
Net/LNet.o: Automata/BitVector.h Graph/DummyReporter.h Graph/StateReporter.h
Net/LNet.o: Graph/Search.h
Net/Net.o: Net/Net.h parser/util.h Type/typedefs.h Graph/BitBuffer.h
Net/Net.o: Net/Place.h Net/Transition.h Value/Error.h Net/Arc.h Type/Type.h
Net/Net.o: Type/BoolType.h Type/IntType.h Type/CardType.h Type/CharType.h
Net/Net.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
Net/Net.o: Expression/Marking.h Expression/Expression.h Type/Constraint.h
Net/Net.o: Value/Valuation.h Expression/Constant.h Net/VariableDefinition.h
Net/Net.o: Expression/Function.h Expression/BooleanBinop.h
Net/Net.o: Expression/PlaceContents.h Value/LeafValue.h
Net/Net.o: Expression/Quantifier.h parser/Printer.h parser/StringBuffer.h
Net/Net.o: Graph/StateSet.h Graph/StateList.h Automata/Property.h
Net/Net.o: Automata/PropertyState.h Automata/BitVector.h parser/Dotty.h
Net/Net.o: Compilation/base/Compilation.h Compilation/base/CExpression.h
Net/Place.o: Net/Place.h Type/typedefs.h Type/Constraint.h Net/Arc.h
Net/Place.o: Expression/Marking.h Expression/Expression.h Type/Type.h
Net/Place.o: parser/util.h Value/Value.h Value/Valuation.h Value/Error.h
Net/Place.o: Type/CardType.h Value/LeafValue.h Net/PlaceMarking.h
Net/Place.o: parser/Printer.h parser/StringBuffer.h
Net/Transition.o: Net/Transition.h parser/util.h Type/typedefs.h
Net/Transition.o: Value/Error.h Net/Place.h Net/Arc.h Expression/Constant.h
Net/Transition.o: Expression/Expression.h Type/Type.h Type/Constraint.h
Net/Transition.o: Value/Value.h Value/Valuation.h Expression/Undefined.h
Net/Transition.o: Net/VariableDefinition.h Expression/VariableSet.h
Net/Transition.o: Value/LeafValue.h Expression/Token.h Net/GlobalMarking.h
Net/Transition.o: Net/PlaceMarking.h Graph/BitBuffer.h Expression/Marking.h
Net/Transition.o: Expression/Substitution.h Expression/BooleanBinop.h
Net/Transition.o: Expression/Function.h Expression/Quantifier.h
Net/Transition.o: parser/Printer.h parser/StringBuffer.h
Net/Transition.o: Graph/DummyReporter.h Graph/StateReporter.h Graph/Search.h
Net/Transition.o: Net/Net.h Net/LNet.h Automata/BitVector.h
Net/Transition.o: Expression/Variable.h Expression/PlaceContents.h
Net/Transition.o: Automata/Property.h Automata/PropertyState.h
Net/Transition.o: Compilation/base/CExpression.h
Net/Arc.o: Net/Arc.h Expression/Marking.h Expression/Expression.h Type/Type.h
Net/Arc.o: parser/util.h Type/typedefs.h Type/Constraint.h Value/Value.h
Net/Arc.o: Value/Valuation.h Value/Error.h Net/Place.h
Net/PlaceMarking.o: Net/PlaceMarking.h Value/Value.h Type/typedefs.h
Net/PlaceMarking.o: Net/Place.h Graph/BitBuffer.h Expression/Marking.h
Net/PlaceMarking.o: Expression/Expression.h Type/Type.h parser/util.h
Net/PlaceMarking.o: Type/Constraint.h Value/Valuation.h Value/Error.h
Net/PlaceMarking.o: Type/CardType.h parser/Printer.h parser/StringBuffer.h
Net/GlobalMarking.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
Net/GlobalMarking.o: Type/typedefs.h Graph/BitBuffer.h Net/Net.h
Net/GlobalMarking.o: parser/util.h Net/Place.h Value/Valuation.h
Net/GlobalMarking.o: Value/Error.h Expression/Marking.h
Net/GlobalMarking.o: Expression/Expression.h Type/Type.h Type/Constraint.h
Net/GlobalMarking.o: Value/LeafValue.h parser/Printer.h parser/StringBuffer.h
Net/VariableDefinition.o: Net/VariableDefinition.h Type/typedefs.h
Net/VariableDefinition.o: Expression/Marking.h Expression/Expression.h
Net/VariableDefinition.o: Type/Type.h parser/util.h Type/Constraint.h
Net/VariableDefinition.o: Value/Value.h Value/Valuation.h Value/Error.h
Net/VariableDefinition.o: Type/VectorType.h Value/VectorValue.h
Net/VariableDefinition.o: Value/ValueList.h Type/StructType.h
Net/VariableDefinition.o: Type/ComponentList.h Value/StructValue.h
Net/VariableDefinition.o: Type/UnionType.h Value/UnionValue.h
Type/Type.o: Type/UnionType.h Type/ComponentList.h Type/Type.h parser/util.h
Type/Type.o: Type/typedefs.h Type/Constraint.h Type/Range.h Value/Value.h
Type/Type.o: parser/Printer.h parser/StringBuffer.h Net/Net.h
Type/Type.o: Graph/BitBuffer.h Compilation/base/CExpression.h Value/Error.h
Type/IntType.o: Type/IntType.h Type/Type.h parser/util.h Type/typedefs.h
Type/IntType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
Type/IntType.o: Type/Range.h parser/StringBuffer.h
Type/CardType.o: Type/CardType.h Type/Type.h parser/util.h Type/typedefs.h
Type/CardType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
Type/CardType.o: Type/Range.h parser/StringBuffer.h
Type/BoolType.o: Type/BoolType.h Type/Type.h parser/util.h Type/typedefs.h
Type/BoolType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
Type/BoolType.o: Type/Range.h parser/StringBuffer.h
Type/CharType.o: Type/CharType.h Type/Type.h parser/util.h Type/typedefs.h
Type/CharType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
Type/CharType.o: Type/Range.h parser/StringBuffer.h
Type/EnumType.o: Type/EnumType.h Type/Type.h parser/util.h Type/typedefs.h
Type/EnumType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
Type/EnumType.o: parser/Printer.h parser/StringBuffer.h
Type/IdType.o: Type/IdType.h Type/Type.h parser/util.h Type/typedefs.h
Type/IdType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h Type/Range.h
Type/IdType.o: parser/Printer.h parser/StringBuffer.h
Type/StructType.o: Type/StructType.h Type/ComponentList.h Type/Type.h
Type/StructType.o: parser/util.h Type/typedefs.h Value/StructValue.h
Type/StructType.o: Value/Value.h Value/ValueList.h Type/Constraint.h
Type/StructType.o: parser/Printer.h parser/StringBuffer.h
Type/StructType.o: Compilation/base/CExpression.h Value/Error.h
Type/UnionType.o: Type/UnionType.h Type/ComponentList.h Type/Type.h
Type/UnionType.o: parser/util.h Type/typedefs.h Value/UnionValue.h
Type/UnionType.o: Value/Value.h Type/Constraint.h parser/Printer.h
Type/UnionType.o: parser/StringBuffer.h Compilation/base/CExpression.h
Type/UnionType.o: Value/Error.h
Type/VectorType.o: Type/VectorType.h Type/Type.h parser/util.h
Type/VectorType.o: Type/typedefs.h Value/VectorValue.h Value/Value.h
Type/VectorType.o: Value/ValueList.h Type/Constraint.h parser/Printer.h
Type/VectorType.o: parser/StringBuffer.h Compilation/base/CExpression.h
Type/VectorType.o: Value/Error.h
Type/BufferType.o: Type/BufferType.h Type/Type.h parser/util.h
Type/BufferType.o: Type/typedefs.h Value/BufferValue.h Value/Value.h
Type/BufferType.o: Value/ValueList.h Type/Constraint.h parser/Printer.h
Type/BufferType.o: parser/StringBuffer.h Compilation/base/CExpression.h
Type/BufferType.o: Value/Error.h
Type/ComponentList.o: Type/ComponentList.h Type/Type.h parser/util.h
Type/ComponentList.o: Type/typedefs.h parser/Printer.h parser/StringBuffer.h
Type/Range.o: Type/Range.h Value/Value.h Type/typedefs.h parser/Printer.h
Type/Range.o: parser/StringBuffer.h
Type/Constraint.o: Type/Constraint.h Type/typedefs.h Type/Range.h
Type/Constraint.o: Value/Value.h Type/Type.h parser/util.h parser/Printer.h
Type/Constraint.o: parser/StringBuffer.h Compilation/base/CExpression.h
Type/Constraint.o: Value/Error.h
Value/Value.o: Value/allValues.h Value/LeafValue.h Value/Value.h
Value/Value.o: Type/typedefs.h Value/StructValue.h Value/ValueList.h
Value/Value.o: Value/UnionValue.h Value/VectorValue.h Value/BufferValue.h
Value/Value.o: Type/UnionType.h Type/ComponentList.h Type/Type.h
Value/Value.o: parser/util.h
Value/ValueList.o: Value/ValueList.h Type/typedefs.h Value/Value.h
Value/LeafValue.o: Value/LeafValue.h Value/Value.h Type/typedefs.h
Value/LeafValue.o: Type/EnumType.h Type/Type.h parser/util.h Type/IdType.h
Value/LeafValue.o: Type/Constraint.h parser/Printer.h parser/StringBuffer.h
Value/StructValue.o: Value/StructValue.h Value/Value.h Type/typedefs.h
Value/StructValue.o: Value/ValueList.h Type/StructType.h Type/ComponentList.h
Value/StructValue.o: Type/Type.h parser/util.h Type/Constraint.h
Value/StructValue.o: parser/Printer.h parser/StringBuffer.h
Value/UnionValue.o: Value/UnionValue.h Value/Value.h Type/typedefs.h
Value/UnionValue.o: Type/UnionType.h Type/ComponentList.h Type/Type.h
Value/UnionValue.o: parser/util.h Type/Constraint.h parser/Printer.h
Value/UnionValue.o: parser/StringBuffer.h
Value/VectorValue.o: Value/VectorValue.h Value/Value.h Type/typedefs.h
Value/VectorValue.o: Value/ValueList.h Type/VectorType.h Type/Type.h
Value/VectorValue.o: parser/util.h Type/Constraint.h parser/Printer.h
Value/VectorValue.o: parser/StringBuffer.h
Value/BufferValue.o: Value/BufferValue.h Value/Value.h Type/typedefs.h
Value/BufferValue.o: Value/ValueList.h Type/BufferType.h Type/Type.h
Value/BufferValue.o: parser/util.h Type/Constraint.h parser/Printer.h
Value/BufferValue.o: parser/StringBuffer.h
Value/Valuation.o: Value/Valuation.h Value/Error.h Value/Value.h
Value/Valuation.o: Type/typedefs.h Net/VariableDefinition.h parser/Printer.h
Value/Valuation.o: parser/StringBuffer.h Expression/Expression.h Type/Type.h
Value/Valuation.o: parser/util.h Type/Constraint.h
Graph/Graph.o: Graph/Graph.h Graph/BitBuffer.h Type/typedefs.h Graph/file.h
Graph/Graph.o: Graph/LSTS.h Graph/BTree.h Net/Net.h parser/util.h Net/Place.h
Graph/Graph.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
Graph/Graph.o: Automata/BitVector.h
Graph/ComponentGraph.o: Graph/ComponentGraph.h Type/typedefs.h Graph/file.h
Graph/ComponentGraph.o: Graph/Graph.h Graph/BitBuffer.h Automata/BitVector.h
Graph/Search.o: Graph/Search.h Type/typedefs.h
Graph/BitBuffer.o: Graph/BitBuffer.h Type/typedefs.h Value/StructValue.h
Graph/BitBuffer.o: Value/Value.h Value/ValueList.h Type/StructType.h
Graph/BitBuffer.o: Type/ComponentList.h Type/Type.h parser/util.h
Graph/BitBuffer.o: Value/UnionValue.h Type/UnionType.h Value/VectorValue.h
Graph/BitBuffer.o: Type/VectorType.h Value/BufferValue.h Type/BufferType.h
Graph/BitBuffer.o: Value/LeafValue.h
Graph/ByteBuffer.o: Graph/ByteBuffer.h
Graph/BTree.o: Graph/BTree.h Graph/file.h
Graph/States.o: Graph/States.h Graph/BitBuffer.h Type/typedefs.h
Graph/StateReporter.o: Graph/StateSetReporter.h Graph/StateReporter.h
Graph/StateReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/States.h
Graph/StateReporter.o: Net/Net.h parser/util.h Net/Transition.h Value/Error.h
Graph/StateReporter.o: Value/Valuation.h Net/GlobalMarking.h
Graph/StateReporter.o: Net/PlaceMarking.h Value/Value.h Graph/FullSet.h
Graph/StateReporter.o: Graph/StateSet.h Graph/StateList.h Graph/file.h
Graph/StateReporter.o: Graph/SyncStates.h Compilation/base/Compilation.h
Graph/StateReporter.o: parser/Printer.h parser/StringBuffer.h
Graph/StateSetReporter.o: Graph/StateSetReporter.h Graph/StateReporter.h
Graph/StateSetReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/FullSet.h
Graph/StateSetReporter.o: Graph/StateSet.h Graph/StateList.h Graph/file.h
Graph/StateSetReporter.o: Graph/SyncStates.h Net/Net.h parser/util.h
Graph/StateSetReporter.o: Net/Transition.h Value/Error.h Value/Valuation.h
Graph/StateSetReporter.o: Net/GlobalMarking.h Net/PlaceMarking.h
Graph/StateSetReporter.o: Value/Value.h Automata/Property.h
Graph/StateSetReporter.o: Automata/PropertyState.h Automata/BitVector.h
Graph/StateSetReporter.o: parser/Printer.h parser/StringBuffer.h
Graph/StateSetReporter.o: parser/Dotty.h Compilation/base/Compilation.h
Graph/GraphReporter.o: Graph/GraphReporter.h Graph/StateReporter.h
Graph/GraphReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/Search.h
Graph/GraphReporter.o: Graph/Graph.h Graph/file.h Graph/ComponentGraph.h
Graph/GraphReporter.o: Graph/SyncStates.h Net/Net.h parser/util.h
Graph/GraphReporter.o: Net/Transition.h Value/Error.h Value/Valuation.h
Graph/GraphReporter.o: parser/Printer.h parser/StringBuffer.h Graph/LSTS.h
Graph/GraphReporter.o: Automata/PropertyState.h Net/GlobalMarking.h
Graph/GraphReporter.o: Net/PlaceMarking.h Value/Value.h Automata/BitVector.h
Graph/GraphReporter.o: Compilation/base/Compilation.h
Graph/DummyReporter.o: Graph/DummyReporter.h Graph/StateReporter.h
Graph/DummyReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/Search.h
Graph/SyncStates.o: Graph/SyncStates.h Graph/BitBuffer.h Type/typedefs.h
Graph/SyncStates.o: Net/Net.h parser/util.h Net/Transition.h Value/Error.h
Graph/SyncStates.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
Graph/SyncStates.o: Graph/StateReporter.h Compilation/base/Compilation.h
Graph/StateSet.o: Graph/FullSet.h Graph/StateSet.h Graph/StateList.h
Graph/StateSet.o: Graph/BitBuffer.h Type/typedefs.h Graph/file.h
Graph/StateSet.o: parser/Printer.h parser/StringBuffer.h Net/Net.h
Graph/StateSet.o: parser/util.h parser/Dotty.h Graph/ByteBuffer.h
Graph/StateSet.o: Graph/StateSetReporter.h Graph/StateReporter.h
Graph/FullSet.o: Graph/FullSet.h Graph/StateSet.h Graph/StateList.h
Graph/FullSet.o: Graph/BitBuffer.h Type/typedefs.h Graph/file.h Graph/BTree.h
Graph/FullSet.o: Graph/ByteBuffer.h
Graph/ParSet.o: Graph/ParSet.h Graph/StateSet.h Graph/StateList.h
Graph/ParSet.o: Graph/BitBuffer.h Type/typedefs.h Graph/ByteBuffer.h
Graph/ParSet.o: Graph/file.h
Graph/CompactSet.o: Graph/CompactSet.h Graph/StateSet.h Graph/StateList.h
Graph/CompactSet.o: Graph/BitBuffer.h Type/typedefs.h Graph/ByteBuffer.h
Graph/HashGraph.o: Graph/HashGraph.h Graph/StateSet.h Graph/StateList.h
Graph/HashGraph.o: Graph/BitBuffer.h Type/typedefs.h Graph/ByteBuffer.h
Graph/StateList.o: Graph/StateList.h Graph/BitBuffer.h Type/typedefs.h
Graph/LSTS.o: Graph/LSTS.h Graph/BitBuffer.h Type/typedefs.h Graph/Graph.h
Graph/LSTS.o: Graph/file.h Net/GlobalMarking.h Net/PlaceMarking.h
Graph/LSTS.o: Value/Value.h Net/Net.h parser/util.h Net/Transition.h
Graph/LSTS.o: Value/Error.h Value/Valuation.h Net/VariableDefinition.h
Graph/LSTS.o: Expression/Expression.h Type/Type.h Type/Constraint.h
Graph/LSTS.o: parser/Printer.h parser/StringBuffer.h
Graph/LSTS.o: Compilation/base/Compilation.h
Automata/Property.o: Automata/Property.h Automata/PropertyState.h
Automata/Property.o: Automata/BitVector.h Expression/Constant.h
Automata/Property.o: Expression/Expression.h Type/Type.h parser/util.h
Automata/Property.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Automata/Property.o: Value/Valuation.h Value/Error.h
Automata/Property.o: Expression/BooleanBinop.h Expression/NotExpression.h
Automata/Property.o: Value/LeafValue.h Type/BoolType.h Net/Net.h
Automata/Property.o: Graph/BitBuffer.h
Automata/PropertyState.o: Automata/PropertyState.h Expression/Constant.h
Automata/PropertyState.o: Expression/Expression.h Type/Type.h parser/util.h
Automata/PropertyState.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Automata/PropertyState.o: Value/Valuation.h Value/Error.h
Automata/PropertyState.o: Automata/BitVector.h Value/LeafValue.h
Automata/PropertyState.o: Compilation/base/CExpression.h
Automata/PropertyState.o: parser/StringBuffer.h
Automata/BitVector.o: Automata/BitVector.h
Automata/SetList.o: Automata/SetList.h Automata/BitVector.h
Automata/Product.o: Automata/Product.h Type/typedefs.h Automata/Property.h
Automata/Product.o: Automata/PropertyState.h Automata/BitVector.h
Automata/Product.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
Automata/Product.o: Graph/BitBuffer.h Value/Valuation.h Value/Error.h
Automata/Product.o: Net/Net.h parser/util.h Graph/Graph.h Graph/file.h
Automata/Product.o: Graph/GraphReporter.h Graph/StateReporter.h
Automata/Product.o: Graph/Search.h parser/Printer.h parser/StringBuffer.h
Automata/Product.o: Net/Transition.h Automata/SetList.h
Compilation/base/CExpression.o: Compilation/base/CExpression.h
Compilation/base/CExpression.o: parser/StringBuffer.h Value/Error.h
Compilation/base/CExpression.o: Expression/Variable.h Expression/Expression.h
Compilation/base/CExpression.o: Type/Type.h parser/util.h Type/typedefs.h
Compilation/base/CExpression.o: Type/Constraint.h Value/Value.h
Compilation/base/CExpression.o: Value/Valuation.h Net/VariableDefinition.h
Compilation/base/CExpression.o: Expression/PlaceContents.h Net/Net.h
Compilation/base/CExpression.o: Graph/BitBuffer.h Net/Transition.h
Compilation/base/CExpression.o: Net/Place.h Expression/Constant.h
Compilation/base/Compilation.o: Compilation/base/Compilation.h Value/Error.h
Compilation/base/Compilation.o: Net/Net.h parser/util.h Type/typedefs.h
Compilation/base/Compilation.o: Graph/BitBuffer.h Net/Place.h
Compilation/base/Compilation.o: Net/Transition.h Type/Type.h
Compilation/base/Compilation.o: Compilation/base/CExpression.h
Compilation/base/Compilation.o: parser/StringBuffer.h Expression/Marking.h
Compilation/base/Compilation.o: Expression/Expression.h Type/Constraint.h
Compilation/base/Compilation.o: Value/Value.h Value/Valuation.h
Compilation/base/Compilation.o: Automata/Property.h Automata/PropertyState.h
Compilation/base/Compilation.o: Automata/BitVector.h
parser/maria.o: Compilation/base/Compilation.h Value/Error.h parser/version.h
parser/maria.o: parser/Dotty.h Type/typedefs.h Expression/Expression.h
parser/maria.o: Type/Type.h parser/util.h Type/Constraint.h Value/Value.h
parser/maria.o: Value/Valuation.h Net/GlobalMarking.h Net/PlaceMarking.h
parser/maria.o: Graph/BitBuffer.h Net/Transition.h Graph/Search.h
parser/maria.o: parser/server.h parser/NameList.h parser/Printer.h
parser/maria.o: parser/StringBuffer.h Net/Net.h Graph/Graph.h Graph/file.h
parser/maria.o: Graph/ComponentGraph.h Graph/LSTS.h Automata/Property.h
parser/maria.o: Automata/PropertyState.h Automata/BitVector.h
parser/maria.o: Automata/Product.h Net/LNet.h Graph/HashGraph.h
parser/maria.o: Graph/StateSet.h Graph/StateList.h Graph/CompactSet.h
parser/maria.o: Graph/ParSet.h Graph/ByteBuffer.h Graph/FullSet.h
parser/maria.o: Graph/GraphReporter.h Graph/StateReporter.h
parser/maria.o: Graph/StateSetReporter.h
parser/server.o: Graph/ByteBuffer.h Graph/StateList.h Graph/BitBuffer.h
parser/server.o: Type/typedefs.h Graph/StateSet.h Graph/StateSetReporter.h
parser/server.o: Graph/StateReporter.h Net/Net.h parser/util.h
parser/server.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
parser/Dotty.o: parser/Dotty.h Type/typedefs.h Graph/Graph.h
parser/Dotty.o: Graph/BitBuffer.h Graph/file.h Graph/ComponentGraph.h
parser/Dotty.o: Graph/GraphReporter.h Graph/StateReporter.h Graph/Search.h
parser/Dotty.o: parser/Printer.h parser/StringBuffer.h Net/GlobalMarking.h
parser/Dotty.o: Net/PlaceMarking.h Value/Value.h Net/Net.h parser/util.h
parser/Dotty.o: Net/Place.h Net/Transition.h Value/Error.h Net/Arc.h
parser/Dotty.o: Value/Valuation.h Net/VariableDefinition.h
parser/Dotty.o: Expression/Marking.h Expression/Expression.h Type/Type.h
parser/Dotty.o: Type/Constraint.h
parser/maria.tab.o: parser/util.h Type/typedefs.h parser/Printer.h
parser/maria.tab.o: parser/StringBuffer.h parser/VariableStackMap.h
parser/maria.tab.o: Expression/allExpressions.h Expression/Typecast.h
parser/maria.tab.o: Expression/Expression.h Type/Type.h Type/Constraint.h
parser/maria.tab.o: Value/Value.h Value/Valuation.h Value/Error.h
parser/maria.tab.o: Expression/Variable.h Expression/Constant.h
parser/maria.tab.o: Expression/Undefined.h Expression/StructExpression.h
parser/maria.tab.o: Expression/StructComponent.h Expression/StructAssign.h
parser/maria.tab.o: Expression/UnionExpression.h Expression/UnionComponent.h
parser/maria.tab.o: Expression/UnionTypeExpression.h
parser/maria.tab.o: Expression/VectorExpression.h Type/VectorType.h
parser/maria.tab.o: Expression/VectorIndex.h Expression/VectorAssign.h
parser/maria.tab.o: Expression/VectorShift.h Expression/UnopExpression.h
parser/maria.tab.o: Expression/BinopExpression.h
parser/maria.tab.o: Expression/BufferExpression.h Type/BufferType.h
parser/maria.tab.o: Expression/BufferUnop.h Expression/BufferRemove.h
parser/maria.tab.o: Expression/BufferWrite.h Expression/BufferIndex.h
parser/maria.tab.o: Expression/IfThenElse.h Expression/ExpressionList.h
parser/maria.tab.o: Expression/BooleanBinop.h Expression/NotExpression.h
parser/maria.tab.o: Expression/RelopExpression.h Expression/SetExpression.h
parser/maria.tab.o: Expression/TemporalUnop.h Expression/TemporalBinop.h
parser/maria.tab.o: Expression/CardinalityExpression.h Expression/Marking.h
parser/maria.tab.o: Expression/TransitionQualifier.h
parser/maria.tab.o: Expression/PlaceContents.h Expression/Submarking.h
parser/maria.tab.o: Expression/Mapping.h Expression/EmptySet.h
parser/maria.tab.o: Expression/ExpressionSet.h Type/Range.h Net/Arc.h
parser/maria.tab.o: Net/Transition.h Net/Place.h Net/Net.h Graph/BitBuffer.h
parser/maria.tab.o: Net/VariableDefinition.h Expression/VariableSet.h
parser/maria.tab.o: Expression/Function.h Expression/Quantifier.h
parser/maria.tab.o: Type/allTypes.h Type/IntType.h Type/CardType.h
parser/maria.tab.o: Type/BoolType.h Type/CharType.h Type/EnumType.h
parser/maria.tab.o: Type/IdType.h Type/StructType.h Type/ComponentList.h
parser/maria.tab.o: Type/UnionType.h Value/allValues.h Value/LeafValue.h
parser/maria.tab.o: Value/StructValue.h Value/ValueList.h Value/UnionValue.h
parser/maria.tab.o: Value/VectorValue.h Value/BufferValue.h
parser/lex.pn.o: Type/typedefs.h parser/maria.tab.h parser/StringBuffer.h
parser/lex.pn.o: parser/util.h parser/NameList.h Net/Place.h Net/Transition.h
parser/lex.pn.o: Value/Error.h
parser/marde.tab.o: parser/util.h Type/typedefs.h parser/StringBuffer.h
parser/marde.tab.o: parser/VariableStackMap.h parser/Printer.h
parser/marde.tab.o: Expression/allExpressions.h Expression/Typecast.h
parser/marde.tab.o: Expression/Expression.h Type/Type.h Type/Constraint.h
parser/marde.tab.o: Value/Value.h Value/Valuation.h Value/Error.h
parser/marde.tab.o: Expression/Variable.h Expression/Constant.h
parser/marde.tab.o: Expression/Undefined.h Expression/StructExpression.h
parser/marde.tab.o: Expression/StructComponent.h Expression/StructAssign.h
parser/marde.tab.o: Expression/UnionExpression.h Expression/UnionComponent.h
parser/marde.tab.o: Expression/UnionTypeExpression.h
parser/marde.tab.o: Expression/VectorExpression.h Type/VectorType.h
parser/marde.tab.o: Expression/VectorIndex.h Expression/VectorAssign.h
parser/marde.tab.o: Expression/VectorShift.h Expression/UnopExpression.h
parser/marde.tab.o: Expression/BinopExpression.h
parser/marde.tab.o: Expression/BufferExpression.h Type/BufferType.h
parser/marde.tab.o: Expression/BufferUnop.h Expression/BufferRemove.h
parser/marde.tab.o: Expression/BufferWrite.h Expression/BufferIndex.h
parser/marde.tab.o: Expression/IfThenElse.h Expression/ExpressionList.h
parser/marde.tab.o: Expression/BooleanBinop.h Expression/NotExpression.h
parser/marde.tab.o: Expression/RelopExpression.h Expression/SetExpression.h
parser/marde.tab.o: Expression/TemporalUnop.h Expression/TemporalBinop.h
parser/marde.tab.o: Expression/CardinalityExpression.h Expression/Marking.h
parser/marde.tab.o: Expression/TransitionQualifier.h
parser/marde.tab.o: Expression/PlaceContents.h Expression/Submarking.h
parser/marde.tab.o: Expression/Mapping.h Expression/EmptySet.h
parser/marde.tab.o: Expression/ExpressionSet.h Net/Transition.h Net/Place.h
parser/marde.tab.o: Net/Arc.h Net/Net.h Graph/BitBuffer.h Net/GlobalMarking.h
parser/marde.tab.o: Net/PlaceMarking.h Net/VariableDefinition.h
parser/marde.tab.o: Expression/VariableSet.h Expression/Function.h
parser/marde.tab.o: Expression/Quantifier.h Type/allTypes.h Type/IntType.h
parser/marde.tab.o: Type/CardType.h Type/BoolType.h Type/CharType.h
parser/marde.tab.o: Type/EnumType.h Type/IdType.h Type/StructType.h
parser/marde.tab.o: Type/ComponentList.h Type/UnionType.h Value/allValues.h
parser/marde.tab.o: Value/LeafValue.h Value/StructValue.h Value/ValueList.h
parser/marde.tab.o: Value/UnionValue.h Value/VectorValue.h
parser/marde.tab.o: Value/BufferValue.h parser/cmdline.h
parser/lex.de.o: Type/typedefs.h parser/marde.tab.h parser/StringBuffer.h
parser/lex.de.o: parser/util.h parser/Printer.h
parser/cmdline.o: parser/cmdline.h
