eu.bandm.tools.d2d2.rt

Class PermutationGroup

java.lang.Object

eu.bandm.tools.d2d2.rt.Udom

eu.bandm.tools.d2d2.rt.PermutationGroup

All Implemented Interfaces:

Formattable, Cloneable

public class PermutationGroup
extends Udom

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

Field Summary

Fields

Modifier and Type	Field and Description
static Function<PermutationGroup,Perm>	get_rule Deprecated. Use new '::' method reference instead.
static Function<PermutationGroup,CheckedMap_RD<Expression,PermutationSubexpression>>	get_subs Deprecated. Use new '::' method reference instead.
protected Perm	rule Generated by umod; model author's documentation MISSING.
protected CheckedMap_RD<Expression,PermutationSubexpression>	subs Generated by umod; model author's documentation MISSING.

Fields inherited from interface eu.bandm.tools.format.Formattable

format

Constructor Summary

Constructors

Constructor and Description
PermutationGroup(Perm rule) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

Modifier and Type	Method and Description
boolean	containsKey_subs(Expression key0) Convenience un-Currying method.
void	descend_0_subs(MATCH_ONLY_00 visitor)
void	descend_subs(MATCH_ONLY_00 visitor)
PermutationGroup	doclone() Clones this object.
Format	format() Delivers a format object for pretty-printing by inheritance from some ancestor class.
Perm	get_rule() Generated by umod; model author's documentation MISSING.
CheckedMap_RD<Expression,PermutationSubexpression>	get_subs() Generated by umod; model author's documentation MISSING.
PermutationGroup	initFrom(Object o0) Copies values of all common fields from the argument.
void	put_subs(Expression key0, PermutationSubexpression value) Convenience un-Currying method.
boolean	set_rule(Perm val) Generated by umod; model author's documentation MISSING.
boolean	set_subs(CheckedMap_RD<Expression,PermutationSubexpression> val) Generated by umod; model author's documentation MISSING.

Methods inherited from class java.lang.Object

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

Field Detail

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":40.9-72, cf. 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.Perm)

get_rule

@Deprecated
public static final Function<PermutationGroup,Perm> get_rule

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

subs

protected CheckedMap_RD<Expression,PermutationSubexpression> subs

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":41.9-72, cf. this pretty print.)
The type of this field is CheckedMap_RD<Expression(never null),PermutationSubexpression(never null)>(never null)
Its value defaults to an empty collection.

See Also:

get_subs(), set_subs(eu.bandm.tools.umod.runtime.CheckedMap_RD<eu.bandm.tools.d2d2.model.Expression, eu.bandm.tools.d2d2.rt.PermutationSubexpression>)

get_subs

@Deprecated
public static final Function<PermutationGroup,CheckedMap_RD<Expression,PermutationSubexpression>> get_subs

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

Constructor Detail

PermutationGroup

public PermutationGroup(Perm rule)

Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".

Parameters:

rule - is copied to field rule

Method Detail

doclone

public PermutationGroup doclone()

Clones this object. Method never fails, since Cloneable is known to be implemented.

Overrides:

doclone in class Udom

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 Udom

initFrom

public PermutationGroup 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 Udom

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":40.9-72, cf. this pretty print.)
Generated getter method. @see #rule

Returns:

The current field value of type Perm(never null)

set_rule

public boolean set_rule(Perm val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":40.9-72, cf. 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_subs

public CheckedMap_RD<Expression,PermutationSubexpression> get_subs()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":41.9-72, cf. this pretty print.)
Generated getter method. @see #subs

Returns:

The current field value of type CheckedMap_RD<Expression(never null),PermutationSubexpression(never null)>(never null)

set_subs

public boolean set_subs(CheckedMap_RD<Expression,PermutationSubexpression> val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":41.9-72, cf. this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

val - the new value of type CheckedMap_RD<Expression(never null),PermutationSubexpression(never null)>(never null)

Returns:

whether a change (w.r.t. ==) did actually happen.

See Also:

subs

put_subs

public void put_subs(Expression key0,
                     PermutationSubexpression value)

Convenience un-Currying method.
Set the value at the given coordinate and automatically generate all intermediate collections, if not yet existing.

Parameters:

val - the new value of type PermutationSubexpression(never null)

See Also:

subs

containsKey_subs

public boolean containsKey_subs(Expression key0)

Convenience un-Currying method.

Returns:

whether there exists a chain of collection objects to the given co-ordinate.

See Also:

subs

descend_subs

public void descend_subs(MATCH_ONLY_00 visitor)

descend_0_subs

public void descend_0_subs(MATCH_ONLY_00 visitor)