Class Discard

Javadoc 27 generates this reference during each site build from the exported packages and the annotation processor. The Java guide shows the API in use.

java.lang.Object

dev.gecode.iris.build.Discard

public final class Discard extends Object

The discard _: a target that reads without storing, and {_} in a pattern.

• Method Summary

  Modifier and Type

  Method

  Description

  String

  toString()

   

  Methods inherited from class Object

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

• Method Details

  • toString

    public String toString()

    Overrides:

    toString in class Object