Class Descriptor

java.lang.Object
net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
net.ssehub.easy.reasoning.sseReasoner.Descriptor

public class Descriptor extends net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
A specific reasoner descriptor for AssignmentResolver reasoner.
Author:
Holger Eichelberger, Phani, Sizonenko, El-Sharkawy
  • Field Details

  • Constructor Details

    • Descriptor

      public Descriptor()
      Creates a new reasoner descriptor.
  • Method Details

    • isReadyForUse

      public boolean isReadyForUse()
      Overrides:
      isReadyForUse in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
    • providesAffectedVariables

      public boolean providesAffectedVariables()
      Overrides:
      providesAffectedVariables in class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor