Skip to content

Abstract Class "Constraint State"

Abstract Class managing all information about current state (assumptions & stream valuations)

  • First step: Model class with all necessary methods/features
  • Second step: Implement class
  • Third step: Implement mockup for class just maintaining string formulas (for testing purposes)