Class JTypeConstraints.Contradiction

java.lang.Object
honeyroasted.almonds.Constraint.Binary<honeyroasted.almonds.Constraint, honeyroasted.almonds.Constraint>
honeyroasted.jype.system.solver.constraints.JTypeConstraints.Contradiction
All Implemented Interfaces:
honeyroasted.almonds.Constraint, honeyroasted.almonds.SimpleName
Enclosing interface:
JTypeConstraints
public static class JTypeConstraints.Contradiction extends honeyroasted.almonds.Constraint.Binary<honeyroasted.almonds.Constraint, honeyroasted.almonds.Constraint>

  • Nested Class Summary

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

    honeyroasted.almonds.Constraint.And, honeyroasted.almonds.Constraint.Binary<L,R>, honeyroasted.almonds.Constraint.False, honeyroasted.almonds.Constraint.Label, honeyroasted.almonds.Constraint.Or, honeyroasted.almonds.Constraint.Solve, honeyroasted.almonds.Constraint.Status, honeyroasted.almonds.Constraint.Trinary<L,M,R>, honeyroasted.almonds.Constraint.True, honeyroasted.almonds.Constraint.Unary<T>, honeyroasted.almonds.Constraint.UniqueNamed

  • Field Summary

    Fields inherited from interface honeyroasted.almonds.Constraint

    FALSE, TRUE

  • Constructor Summary

    Constructors
    Constructor
    Description
    Contradiction(honeyroasted.almonds.Constraint left, honeyroasted.almonds.Constraint right)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    simpleName()
     
    String
    toString()
     

    Methods inherited from class honeyroasted.almonds.Constraint.Binary

    equals, hashCode, left, parameters, right

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    Methods inherited from interface honeyroasted.almonds.Constraint

    createNew

  • Constructor Details

    • Contradiction

      public Contradiction(honeyroasted.almonds.Constraint left, honeyroasted.almonds.Constraint right)

  • Method Details