Class Alphabet

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.Type<IntType>

dev.gecode.iris.build.IntType

dev.gecode.iris.build.Alphabet

public final class Alphabet extends IntType

alphabet "symbols", which reads each symbol as its index. blank(String), strip(String) and base(long) add options in call order.

• Method Summary

  Modifier and Type

  Method

  Description

  Alphabet

  base(long value)

  Returns this alphabet with base value.

  Alphabet

  blank(String characters)

  Returns this alphabet with blank "characters".

  Alphabet

  strip(String characters)

  Returns this alphabet with strip "characters".

  Methods inherited from class Type

  dim, dim, dims, dims, layout, layout, offset, offset, until, until, until, untilEol

  Modifier and Type

  Method

  Description

  final IntType

  dim(long size)

  Returns this type with another dimension: x[size]: type.

  final IntType

  dim(Expr size)

  Returns this type with another dimension: x[size]: type.

  final IntType

  dims(long... sizes)

  Returns this type with several more dimensions, as many as known only at run time.

  final IntType

  dims(List<? extends Expr> sizes)

  Returns this type with several more dimensions, as many as known only at run time.

  final IntType

  layout(long layout)

  Returns this type with layout expression.

  final IntType

  layout(Expr layout)

  Returns this type with layout expression.

  final IntType

  offset(long offset)

  Returns this type with offset expression.

  final IntType

  offset(Expr offset)

  Returns this type with offset expression.

  final ListReading

  until(long end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  until(Expr end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  until(String end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  untilEol()

  Returns a list of this type that ends at the end of the line: until eol.

  Methods inherited from class Object

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

• Method Details

  • blank

    public Alphabet blank(String characters)

    Returns this alphabet with blank "characters".

    Parameters:

    characters - the characters that read as blanks

    Returns:

    this alphabet with blank "characters"

  • strip

    public Alphabet strip(String characters)

    Returns this alphabet with strip "characters".

    Parameters:

    characters - the characters to remove

    Returns:

    this alphabet with strip "characters"

  • base

    public Alphabet base(long value)

    Returns this alphabet with base value.

    Parameters:

    value - the index of the first symbol

    Returns:

    this alphabet with base value