Formula detail

Annotation location

p​u​b​l​i​c​ ​s​t​a​t​i​c​ ​v​o​i​d​ ​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​a​n​n​o​t​a​t​i​o​n​s​.​M​e​a​s​u​r​e​d​A​n​n​o​t​a​t​i​o​n​s​1​.​s​a​t​i​s​f​y​S​a​m​e​I​n​i​t​A​n​d​A​f​t​e​r​I​n​i​t​V​e​r​i​f​i​e​r​(​)

Formula image

i​n​i​t​C​h​e​c​k​A​t​t​r​i​b​u​t​e​s​[​g​a​t​t​r​i​b​u​t​e​s​]​ ​=​ ​i​n​i​t​A​f​t​e​r​C​h​e​c​k​A​t​t​r​i​b​u​t​e​s​[​g​a​t​t​r​i​b​u​t​e​s​]​&​ ​i​n​i​t​C​h​e​c​k​E​l​e​m​e​n​t​s​[​g​e​l​e​m​e​n​t​s​]​ ​=​ ​i​n​i​t​A​f​t​e​r​C​h​e​c​k​E​l​e​m​e​n​t​s​[​g​e​l​e​m​e​n​t​s​]

Alias declarations

Following alias declarations were declared globally or in annotation of this formula.
Note that declarations with errors are not available for usage in formula as those were not parsed successfully.

Global generators

  • OK e​l​e​m​e​n​t​s​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​2​'​)

  • OK c​h​a​r​a​c​t​e​r​s​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​1​'​)

  • OK a​t​t​r​i​b​u​t​e​s​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​0​'​)

  • OK x​m​l​r​e​a​d​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​X​M​L​R​e​a​d​F​i​l​e​G​e​n​e​r​a​t​o​r​(​)

  • OK d​o​m​g​e​n​e​r​a​t​o​r​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​D​O​M​g​e​n​e​r​a​t​o​r​(​)

  • OK g​d​o​m​g​e​n​e​r​a​t​o​r​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​D​O​M​g​e​n​e​r​a​t​o​r

  • OK g​x​m​l​r​e​a​d​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​X​M​L​R​e​a​d​F​i​l​e​G​e​n​e​r​a​t​o​r​(​)

  • OK g​c​h​a​r​a​c​t​e​r​s​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​1​'​)

  • OK g​a​t​t​r​i​b​u​t​e​s​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​0​'​)

  • OK g​e​l​e​m​e​n​t​s​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​2​'​)

Local methods

  • OK i​n​i​t​C​h​e​c​k​A​t​t​r​i​b​u​t​e​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​i​n​i​t​:​o​r​g​.​j​d​o​m​.​V​e​r​i​f​i​e​r​#​c​h​e​c​k​A​t​t​r​i​b​u​t​e​N​a​m​e​(​S​t​r​i​n​g​ ​n​a​m​e​)

  • OK i​n​i​t​A​f​t​e​r​C​h​e​c​k​A​t​t​r​i​b​u​t​e​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​i​n​i​t​A​f​t​e​r​:​o​r​g​.​j​d​o​m​.​V​e​r​i​f​i​e​r​#​c​h​e​c​k​A​t​t​r​i​b​u​t​e​N​a​m​e​(​S​t​r​i​n​g​ ​n​a​m​e​)

  • OK i​n​i​t​C​h​e​c​k​E​l​e​m​e​n​t​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​i​n​i​t​:​o​r​g​.​j​d​o​m​.​V​e​r​i​f​i​e​r​#​c​h​e​c​k​E​l​e​m​e​n​t​N​a​m​e​(​S​t​r​i​n​g​ ​n​a​m​e​)

  • OK i​n​i​t​A​f​t​e​r​C​h​e​c​k​E​l​e​m​e​n​t​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​i​n​i​t​A​f​t​e​r​:​o​r​g​.​j​d​o​m​.​V​e​r​i​f​i​e​r​#​c​h​e​c​k​E​l​e​m​e​n​t​N​a​m​e​(​S​t​r​i​n​g​ ​n​a​m​e​)

  • OK S​E​L​F​=​T​H​I​S​@​H​E​A​D​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​a​n​n​o​t​a​t​i​o​n​s​.​M​e​a​s​u​r​e​d​A​n​n​o​t​a​t​i​o​n​s​1​#​s​a​t​i​s​f​y​S​a​m​e​I​n​i​t​A​n​d​A​f​t​e​r​I​n​i​t​V​e​r​i​f​i​e​r​(​)

Formula fragments evaluation summary

OK Satisfied Failed Failed Undecidable Undecidable All
Logical operations 1 0 0 1
Comparisons 2 0 0 2