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​2​.​s​a​t​i​s​f​y​T​w​i​c​e​C​h​e​c​k​V​e​r​i​f​i​e​r​(​)

Formula image

a​f​t​e​r​H​e​u​r​i​s​t​i​c​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​]​ ​=​ ​b​e​f​o​r​e​T​w​i​c​e​C​h​e​c​k​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​]​&​ ​a​f​t​e​r​T​w​i​c​e​C​h​e​c​k​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​]​ ​<​=​ ​b​e​f​o​r​e​T​w​i​c​e​C​h​e​c​k​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​]

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 a​f​t​e​r​H​e​u​r​i​s​t​i​c​C​h​e​c​k​A​t​t​r​i​b​u​t​e​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​a​f​t​e​r​H​e​u​r​i​s​t​i​c​:​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 b​e​f​o​r​e​T​w​i​c​e​C​h​e​c​k​C​h​e​c​k​A​t​t​r​i​b​u​t​e​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​b​e​f​o​r​e​T​w​i​c​e​C​h​e​c​k​:​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 a​f​t​e​r​T​w​i​c​e​C​h​e​c​k​C​h​e​c​k​A​t​t​r​i​b​u​t​e​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​a​f​t​e​r​T​w​i​c​e​C​h​e​c​k​:​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 a​f​t​e​r​H​e​u​r​i​s​t​i​c​C​h​e​c​k​C​h​e​c​k​E​l​e​m​e​n​t​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​a​f​t​e​r​H​e​u​r​i​s​t​i​c​:​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 b​e​f​o​r​e​T​w​i​c​e​C​h​e​c​k​C​h​e​c​k​E​l​e​m​e​n​t​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​b​e​f​o​r​e​T​w​i​c​e​C​h​e​c​k​:​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 a​f​t​e​r​T​w​i​c​e​C​h​e​c​k​C​h​e​c​k​E​l​e​m​e​n​t​s​ ​=​ ​j​d​o​m​_​i​n​i​t​@​a​f​t​e​r​T​w​i​c​e​C​h​e​c​k​:​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 a​f​t​e​r​H​e​u​r​i​s​t​i​c​C​h​e​c​k​C​h​a​r​a​c​t​e​r​ ​=​ ​j​d​o​m​_​i​n​i​t​@​a​f​t​e​r​H​e​u​r​i​s​t​i​c​:​o​r​g​.​j​d​o​m​.​V​e​r​i​f​i​e​r​#​c​h​e​c​k​C​h​a​r​a​c​t​e​r​D​a​t​a​(​S​t​r​i​n​g​ ​n​a​m​e​)

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

  • OK a​f​t​e​r​T​w​i​c​e​C​h​e​c​k​C​h​e​c​k​C​h​a​r​a​c​t​e​r​ ​=​ ​j​d​o​m​_​i​n​i​t​@​a​f​t​e​r​T​w​i​c​e​C​h​e​c​k​:​o​r​g​.​j​d​o​m​.​V​e​r​i​f​i​e​r​#​c​h​e​c​k​C​h​a​r​a​c​t​e​r​D​a​t​a​(​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​2​#​s​a​t​i​s​f​y​T​w​i​c​e​C​h​e​c​k​V​e​r​i​f​i​e​r​(​)

Formula fragments evaluation summary

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