Class SampleStrategy

java.lang.Object
es.ucm.maude.bindings.StrategyExpression
es.ucm.maude.bindings.SampleStrategy
public class SampleStrategy extends StrategyExpression
Random sample strategy

  • Method Details

    • delete

      public void delete()
      Overrides:
      delete in class StrategyExpression

    • getStrategy

      public StrategyExpression getStrategy()
      Get the strategy expression depending on the sampled value

    • getVariable

      public Term getVariable()
      Get the variable to hold the sampled value

    • getDistributionName

      public String getDistributionName()
      Get the name of the probabilistic distribution

    • getArguments

      public TermVector getArguments()
      Get the arguments of the probabilistic distribution

    • toString

      public String toString()
      Overrides:
      toString in class StrategyExpression