Class JReduceInstantiation

java.lang.Object
honeyroasted.almonds.ConstraintMapper.Unary<JTypeConstraints.ExpressionCompatible>
honeyroasted.jype.system.solver.constraints.reduction.JReduceInstantiation
All Implemented Interfaces:
honeyroasted.almonds.ConstraintMapper, Consumer<honeyroasted.almonds.ConstraintBranch>
public class JReduceInstantiation extends honeyroasted.almonds.ConstraintMapper.Unary<JTypeConstraints.ExpressionCompatible>

  • Nested Class Summary

    Nested classes/interfaces inherited from interface honeyroasted.almonds.ConstraintMapper

    honeyroasted.almonds.ConstraintMapper.All, honeyroasted.almonds.ConstraintMapper.Binary<L extends honeyroasted.almonds.Constraint, R extends honeyroasted.almonds.Constraint>, honeyroasted.almonds.ConstraintMapper.False, honeyroasted.almonds.ConstraintMapper.True, honeyroasted.almonds.ConstraintMapper.Unary<T extends honeyroasted.almonds.Constraint>

  • Constructor Summary

    Constructors
    Constructor
    Description
    JReduceInstantiation()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    accept(honeyroasted.collect.property.PropertySet allContext, honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch branch, JTypeConstraints.ExpressionCompatible constraint, honeyroasted.almonds.Constraint.Status status)
     
    protected boolean
    filter(honeyroasted.collect.property.PropertySet allContext, honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch branch, JTypeConstraints.ExpressionCompatible constraint, honeyroasted.almonds.Constraint.Status status)
     

    Methods inherited from class honeyroasted.almonds.ConstraintMapper.Unary

    accept

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface java.util.function.Consumer

    andThen

  • Constructor Details

    • JReduceInstantiation

      public JReduceInstantiation()

  • Method Details

    • filter

      protected boolean filter(honeyroasted.collect.property.PropertySet allContext, honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch branch, JTypeConstraints.ExpressionCompatible constraint, honeyroasted.almonds.Constraint.Status status)
      Overrides:
      filter in class honeyroasted.almonds.ConstraintMapper.Unary<JTypeConstraints.ExpressionCompatible>

    • accept

      protected void accept(honeyroasted.collect.property.PropertySet allContext, honeyroasted.collect.property.PropertySet branchContext, honeyroasted.almonds.ConstraintBranch branch, JTypeConstraints.ExpressionCompatible constraint, honeyroasted.almonds.Constraint.Status status)
      Specified by:
      accept in class honeyroasted.almonds.ConstraintMapper.Unary<JTypeConstraints.ExpressionCompatible>