FormulasForwardDeclarations.h

Go to the documentation of this file.

#pragma once
 
namespace storm {
namespace logic {
// Forward-declare all formula classes.
class Formula;
class AtomicExpressionFormula;
class AtomicLabelFormula;
class BinaryBooleanStateFormula;
class BinaryBooleanPathFormula;
class BinaryPathFormula;
class BinaryStateFormula;
class BooleanLiteralFormula;
class BoundedUntilFormula;
class ConditionalFormula;
class CumulativeRewardFormula;
class EventuallyFormula;
class TimeOperatorFormula;
class GloballyFormula;
class GameFormula;
class InstantaneousRewardFormula;
class LongRunAverageOperatorFormula;
class LongRunAverageRewardFormula;
class MultiObjectiveFormula;
class QuantileFormula;
class NextFormula;
class OperatorFormula;
struct OperatorInformation;
class PathFormula;
class ProbabilityOperatorFormula;
class RewardOperatorFormula;
class StateFormula;
class TotalRewardFormula;
class UnaryBooleanStateFormula;
class UnaryBooleanPathFormula;
class UnaryPathFormula;
class UnaryStateFormula;
class UntilFormula;
class HOAPathFormula;
class DiscountedCumulativeRewardFormula;
class DiscountedTotalRewardFormula;
}  // namespace logic
}  // namespace storm