TransformPCMDFDWithConstraintsToPrologWorkflow

All Superinterfaces:

Runnable, org.palladiosimulator.dataflow.confidentiality.pcm.workflow.TransformPCMDFDToPrologWorkflow

All Known Implementing Classes:

TransformPCMDFDWithConstraintsToPrologWorkflowImpl
```
public interface TransformPCMDFDWithConstraintsToPrologWorkflow
extends org.palladiosimulator.dataflow.confidentiality.pcm.workflow.TransformPCMDFDToPrologWorkflow
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  Optional<String> getPrologConstraints()
  - Methods inherited from interface java.lang.Runnable
    run
  - Methods inherited from interface org.palladiosimulator.dataflow.confidentiality.pcm.workflow.TransformPCMDFDToPrologWorkflow
    getPrologProgram, getTrace

Method Detail

getPrologConstraints

Optional<String> getPrologConstraints()