Package-level declarations
Types
Link copied to clipboard
class SysMLv2Frontend
Link copied to clipboard
class SysMLv2FrontendConfig(val sourcePath: Path, val variant: SysMLv2Variant, val libraryPaths: List<Path>, val oxstsInjector: Injector, val portfolio: VerificationPortfolio, val environment: ExecutionEnvironment, val timeout: Duration?, val maxConcurrency: Int?, val optimization: OptimizationConfig?, val artifacts: ArtifactConfig, val outputDirectory: Path)
Link copied to clipboard