java.lang.Object

eu.bandm.tools.d2d2.rt.State

eu.bandm.tools.d2d2.rt.State_perm

All Implemented Interfaces:: Formattable, Cloneable

@Generated(generator="eu.bandm.tools.umod", version="", timestamp="2026-01-24_19h42m37") public class State_perm extends State

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":109.3-113.29, see this pretty print.)

Field Summary

Fields

Modifier and Type

Field

Description

protected NonNullSet<Expression>

consumed

Generated by umod; model author's documentation MISSING.

protected PermutationGroup

directory

Generated by umod; model author's documentation MISSING.

static final Function<State_perm,NonNullSet<Expression>>

get_consumed

Deprecated.
Use new '::' method reference instead.

static final Function<State_perm,PermutationGroup>

get_directory

Deprecated.
Use new '::' method reference instead.

static final Function<State_perm,NonNullSet<Expression>>

get_obligates

Deprecated.
Use new '::' method reference instead.

static final Function<State_perm,Perm>

get_rule

Deprecated.
Use new '::' method reference instead.

protected NonNullSet<Expression>

obligates

Generated by umod; model author's documentation MISSING.

protected Perm

rule

Generated by umod; model author's documentation MISSING.

Fields inherited from class eu.bandm.tools.d2d2.rt.State
get_inxslt, get_predec, get_result, inxslt, predec, result
Constructor Summary

Constructors

Constructor

Description

State_perm()

State_perm(@Opt State predec, ResultContainer result, boolean inxslt, Perm rule, PermutationGroup directory)

Constructor defined according to directive »C 0/..«.

State_perm(ResultContainer result, Perm rule, PermutationGroup directory)

Constructor with minimal set of arguments, is supplied automatically by the umod compiler, not explicitly by the user.
Method Summary

Modifier and Type

Method

Description

void

descend_consumed(MATCH_ONLY_00 visitor)

Deprecated.
Use visitor.follow_consumed(this) or visitor.followAll_consumed(this) instead.

void

descend_obligates(MATCH_ONLY_00 visitor)

Deprecated.
Use visitor.follow_obligates(this) or visitor.followAll_obligates(this) instead.

State_perm

doclone()

Clones this object.

Format

format()

Delivers a format object for pretty-printing by inheritance from some ancestor class.

NonNullSet<Expression>

get_consumed()

Generated by umod; model author's documentation MISSING.

static Pattern<State_perm>

get_consumed(Pattern<? super NonNullSet<Expression>> p)

Lifts a pattern which matches the field value to one which matches this whole object.

PermutationGroup

get_directory()

Generated by umod; model author's documentation MISSING.

static Pattern<State_perm>

get_directory(Pattern<? super PermutationGroup> p)

Lifts a pattern which matches the field value to one which matches this whole object.

NonNullSet<Expression>

get_obligates()

Generated by umod; model author's documentation MISSING.

static Pattern<State_perm>

get_obligates(Pattern<? super NonNullSet<Expression>> p)

Lifts a pattern which matches the field value to one which matches this whole object.

Perm

get_rule()

Generated by umod; model author's documentation MISSING.

State_perm

initFrom(Object o0)

Copies values of all common fields from the argument.

boolean

set_consumed(NonNullSet<Expression> val)

Generated by umod; model author's documentation MISSING.

boolean

set_directory(PermutationGroup val)

Generated by umod; model author's documentation MISSING.

boolean

set_obligates(NonNullSet<Expression> val)

Generated by umod; model author's documentation MISSING.

boolean

set_rule(Expression val)

Generated by umod; model author's documentation MISSING.

Methods inherited from class eu.bandm.tools.d2d2.rt.State
get_inxslt, get_inxslt, get_predec, get_predec, get_result, get_result, get_rule, set_inxslt, set_predec, set_result, set_rule

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- rule
  
  protected Perm rule
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":110.9-49, see this pretty print.)
  The type of this field is Perm(never null)
  It is set by every possible constructor.
  See Also:
  
  get_rule()
  
  set_rule(eu.bandm.tools.d2d2.model.Expression)
- get_rule
  
  @Deprecated public static final Function<State_perm,Perm> get_rule
  
  Deprecated.
  Use new '::' method reference instead.
- directory
  
  protected PermutationGroup directory
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":111.9-49, see this pretty print.)
  The type of this field is PermutationGroup(never null)
  It is set by every possible constructor.
  See Also:
  
  get_directory()
  
  set_directory(eu.bandm.tools.d2d2.rt.PermutationGroup)
- get_directory
  
  @Deprecated public static final Function<State_perm,PermutationGroup> get_directory
  
  Deprecated.
  Use new '::' method reference instead.
- obligates
  
  protected NonNullSet<Expression> obligates
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":112.9-29, see this pretty print.)
  The type of this field is NonNullSet<Expression(never null)>(never null)
  Its value defaults to an empty collection.
  See Also:
  
  get_obligates()
  
  set_obligates(eu.bandm.tools.util.nonnull.NonNullSet<eu.bandm.tools.d2d2.model.Expression>)
- get_obligates
  
  @Deprecated public static final Function<State_perm,NonNullSet<Expression>> get_obligates
  
  Deprecated.
  Use new '::' method reference instead.
- consumed
  
  protected NonNullSet<Expression> consumed
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":113.9-29, see this pretty print.)
  The type of this field is NonNullSet<Expression(never null)>(never null)
  Its value defaults to an empty collection.
  See Also:
  
  get_consumed()
  
  set_consumed(eu.bandm.tools.util.nonnull.NonNullSet<eu.bandm.tools.d2d2.model.Expression>)
- get_consumed
  
  @Deprecated public static final Function<State_perm,NonNullSet<Expression>> get_consumed
  
  Deprecated.
  Use new '::' method reference instead.
Constructor Details
- State_perm
  
  public State_perm(@Opt @Opt State predec, ResultContainer result, boolean inxslt, Perm rule, PermutationGroup directory)
  
  Constructor defined according to directive »C 0/..«.
  
  Parameters:
  
  predec - is copied to field State.predec
  
  result - is copied to field State.result
  
  inxslt - is copied to field State.inxslt
  
  rule - is copied to field rule
  
  directory - is copied to field directory
- State_perm
  
  public State_perm(ResultContainer result, Perm rule, PermutationGroup directory)
  
  Constructor with minimal set of arguments, is supplied automatically by the umod compiler, not explicitly by the user.
  
  Parameters:
  
  result - is copied to field State.result
  
  rule - is copied to field rule
  
  directory - is copied to field directory
- State_perm
  
  State_perm()
Method Details
- doclone
  
  public State_perm doclone()
  
  Clones this object. Method never fails, since Cloneable is known to be implemented.
  
  Overrides:
  
  doclone in class State
  
  Returns:
  
  a fresh copy.
- format
  
  public Format format()
  
  Delivers a format object for pretty-printing by inheritance from some ancestor class.
  
  Specified by:
  
  format in interface Formattable
  
  Overrides:
  
  format in class State
  
  Returns:
  
  a format that represents this object in a pretty-printable way
- initFrom
  
  public State_perm initFrom(Object o0)
  
  Copies values of all common fields from the argument. All fields of this class definition are copied, iff the argument is of this class. Then the superclass method is invoked with the same argument.
  
  Overrides:
  
  initFrom in class State
- get_rule
  
  public Perm get_rule()
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":110.9-49, see this pretty print.)
  Generated getter method.
  Overrides:
  
  get_rule in class State
  
  Returns:
  
  The current field value of type Perm(never null)
  
  See Also:
  
  rule
- set_rule
  
  public boolean set_rule(Expression val)
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":110.9-49, see this pretty print.)
  Updates the (mutable) instance destructively.
  Parameters:
  
  val - the new value of type Perm(never null)
  
  Returns:
  
  whether a change (w.r.t. ==) did actually happen.
  
  See Also:
  
  rule
- get_directory
  
  public PermutationGroup get_directory()
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":111.9-49, see this pretty print.)
  Generated getter method.
  Returns:
  
  The current field value of type PermutationGroup(never null)
  
  See Also:
  
  directory
- set_directory
  
  public boolean set_directory(PermutationGroup val)
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":111.9-49, see this pretty print.)
  Updates the (mutable) instance destructively.
  Parameters:
  
  val - the new value of type PermutationGroup(never null)
  
  Returns:
  
  whether a change (w.r.t. ==) did actually happen.
  
  See Also:
  
  directory
- get_obligates
  
  public NonNullSet<Expression> get_obligates()
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":112.9-29, see this pretty print.)
  Generated getter method.
  Returns:
  
  The current field value of type NonNullSet<Expression(never null)>(never null)
  
  See Also:
  
  obligates
- set_obligates
  
  public boolean set_obligates(NonNullSet<Expression> val)
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":112.9-29, see this pretty print.)
  Updates the (mutable) instance destructively.
  Parameters:
  
  val - the new value of type NonNullSet<Expression(never null)>(never null)
  
  Returns:
  
  whether a change (w.r.t. ==) did actually happen.
  
  See Also:
  
  obligates
- descend_obligates
  
  @Deprecated public void descend_obligates(MATCH_ONLY_00 visitor)
  
  Deprecated.
  Use visitor.follow_obligates(this) or visitor.followAll_obligates(this) instead.
- get_consumed
  
  public NonNullSet<Expression> get_consumed()
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":113.9-29, see this pretty print.)
  Generated getter method.
  Returns:
  
  The current field value of type NonNullSet<Expression(never null)>(never null)
  
  See Also:
  
  consumed
- set_consumed
  
  public boolean set_consumed(NonNullSet<Expression> val)
  
  Generated by umod; model author's documentation MISSING.
  (This definition has been created by UMod from the source at SYSTEM "Rt.umod":113.9-29, see this pretty print.)
  Updates the (mutable) instance destructively.
  Parameters:
  
  val - the new value of type NonNullSet<Expression(never null)>(never null)
  
  Returns:
  
  whether a change (w.r.t. ==) did actually happen.
  
  See Also:
  
  consumed
- descend_consumed
  
  @Deprecated public void descend_consumed(MATCH_ONLY_00 visitor)
  
  Deprecated.
  Use visitor.follow_consumed(this) or visitor.followAll_consumed(this) instead.
- get_directory
  
  public static Pattern<State_perm> get_directory(Pattern<? super PermutationGroup> p)
  
  Lifts a pattern which matches the field value to one which matches this whole object.
  More complex pattern methods are generated in the one ancillary class __Patterns.
- get_obligates
  
  public static Pattern<State_perm> get_obligates(Pattern<? super NonNullSet<Expression>> p)
  
  Lifts a pattern which matches the field value to one which matches this whole object.
  More complex pattern methods are generated in the one ancillary class __Patterns.
- get_consumed
  
  public static Pattern<State_perm> get_consumed(Pattern<? super NonNullSet<Expression>> p)
  
  Lifts a pattern which matches the field value to one which matches this whole object.
  More complex pattern methods are generated in the one ancillary class __Patterns.

Class State_perm

Field Summary

Fields inherited from class eu.bandm.tools.d2d2.rt.State

Constructor Summary

Method Summary

Methods inherited from class eu.bandm.tools.d2d2.rt.State

Methods inherited from class java.lang.Object

Field Details

rule

get_rule

directory

get_directory

obligates

get_obligates

consumed

get_consumed

Constructor Details

State_perm

State_perm

State_perm

Method Details

doclone

format

initFrom

get_rule

set_rule

get_directory

set_directory

get_obligates

set_obligates

descend_obligates

get_consumed

set_consumed

descend_consumed

get_directory

get_obligates

get_consumed