<commit_before>
import sp.domain._
import sp.psl._
import sp.domain.Logic._


class operationMaker {


  //Init parsers
  val parserG = sp.domain.logic.PropositionParser(List(palettSpace1Booked,palettSpace2Booked,palettSpace3Booked,palettSpace4Booked,
    R2Booked,R4Booked,R5Booked,R4Dodge,R5Dodge,H1NoneEmpty,H1Up,H2Up,H2Empty))


  // Things for Guards
  val palettSpace1Booked = Thing("palettSpace1Booked")                              //v1
  val palettSpace2Booked = Thing("palettSpace2Booked")                              //v2
  val palettSpace3Booked = Thing("palettSpace3Booked")                              //v3
  val palettSpace4Booked = Thing("palettSpace4Boked")                             //v4
  val buildSpaceBooked = Thing("buildSpaceBooked")
  val R2Booked =  Thing("R2Booked")
  val R5Booked =  Thing("R5Booked")
  val R4Booked =  Thing("R5Booked")
  val R4Dodge =   Thing("R4Dodge")
  val R5Dodge =   Thing("R5Dodge")
  val H1NoneEmpty = Thing("H4Empty")
  val H1Up = Thing("H4Up")
  val H2Empty = Thing("H4Empty")
  val H2Up = Thing("H4Up")

  val parserA = sp.domain.logic.ActionParser(List(R2PalettToR5Pos1,R2PalettToR5Pos2,R2PalettToR4Pos1,R2PalettToR4Pos2,R2PalettRemoveR5Pos1,
    R2PalettRemoveR5Pos2,R2PalettRemoveR4Pos1,R2PalettRemoveR4Pos2,R2PlaceBuildingPalett,R2RemoveBuildingPalett))

  // Things for Actions
  val R2PalettToR5Pos1 = Thing("R2PalettToR5Pos1")
  val R2PalettToR5Pos2 = Thing("R2PalettToR5Pos2")
  val R2PalettToR4Pos1 = Thing("R2PalletToR4Pos1")
  val R2PalettToR4Pos2 = Thing("R2PalettToR4Pos2")
  val R2PalettRemoveR5Pos1 = Thing("R2PalettRemoveR5Pos1")
  val R2PalettRemoveR5Pos2 = Thing("R2PalettRemoveR5Pos2")
  val R2PalettRemoveR4Pos1 = Thing("R2PalettRemoveR4Pos1")
  val R2PalettRemoveR4Pos2 = Thing("R2PalettRemoveR4Pos2")
  val R2PlaceBuildingPalett = Thing("R2PlaceBuildingPalett")
  val R2RemoveBuildingPalett = Thing("R2RemoveBuildingPalett")



  //Create gaurds
  val buildSpace1Booked = parserG.parseStr("buildSpace1Booked == true").right.get
  val buildSpace2Booked = parserG.parseStr("buildSpace2Booked == true").right.get
  val buildSpace3Booked = parserG.parseStr("buildSpace3Booked == true").right.get
  val buildSpace4Booked = parserG.parseStr("buildSpace4Booked == true").right.get
  val R2booked = parserG.parseStr("R2Booked == false").right.get
  val R4booked = parserG.parseStr("R4Booked == false").right.get
  val R5booked = parserG.parseStr("R5Booked == false").right.get
  val R4dodge = parserG.parseStr("R4Dodge == true").right.get
  val R5dodge = parserG.parseStr("R4Dodge == true").right.get

  //Create actions
  val aGenerateOperatorInstructions = parserA.parseStr("generateOperatorInstructions = True").right.get

  //Operations
//  val init = Operation("Init", List(PropositionCondition(AND(List()), List(aGenerateOperatorInstructions))),SPAttributes(), ID.newID)
  val R2PalettToR5Pos1 = Operation //
  val R2PalettToR5Pos2 = Operation
  val R2PalettToR4Pos1 = Operation
  val R2PalettToR4Pos2 = Operation
  val R2PalettRemoveR5Pos1 = Operation
  val R2PalettRemoveR5Pos2 = Operation
  val R2PalettRemoveR4Pos1 = Operation
  val R2PalettRemoveR4Pos2 = Operation
  val R2PlaceBuildingPalett = Operation
  val R2RemoveBuildingPalett = Operation
}



/*

  //Init parsers
  val parserG = sp.domain.logic.PropositionParser(List(newBuildOrder, systemReady))
  val parserA = sp.domain.logic.ActionParser(List(generateOperatorInstructions))

  // Things for Guards
  val newBuildOrder = Thing("newBuildOrder")
  val systemReady = Thing("systemReady")
  val operatorInstructionsGenerated = Thing("operatorInstructionsGenerated")
  val palettReady = Thing("palettReady")


  // Things for Actions
  val generateOperatorInstructions = Thing("generateOperatorInstructions")



  //Create gaurds
  val gNewBuildOrder = parserG.parseStr("newBuildOrder == true").right.get
  val gSystemReady = parserG.parseStr("systemReady == true").right.get
  //Create actions
  val aGenerateOperatorInstructions = parserA.parseStr("generateOperatorInstructions = True").right.get
<commit_msg>latest version of OPs<commit_after>
import sp.domain._
import sp.psl._
import sp.domain.Logic._


class operationMaker {


  //Init parsers
  val parserG = sp.domain.logic.PropositionParser(List(palettSpace1Booked,palettSpace2Booked,palettSpace3Booked,palettSpace4Booked,
    R2Booked,R4Booked,R5Booked,R4Dodge,R5Dodge,H1NoneEmpty,H1Up,H2Up,H2Empty))


  // Things for Guards

  val palettSpace1Booked = Thing("palettSpace1Booked")                              //v1
  val palettSpace2Booked = Thing("palettSpace2Booked")                              //v2
  val palettSpace3Booked = Thing("palettSpace3Booked")                              //v3
  val palettSpace4Booked = Thing("palettSpace4Boked")                             //v4
  val buildSpaceBooked = Thing("buildSpaceBooked")
  val R2Booked =  Thing("R2Booked")
  val R5Booked =  Thing("R5Booked")
  val R4Booked =  Thing("R5Booked")
  val R4Dodge =   Thing("R4Dodge")
  val R5Dodge =   Thing("R5Dodge")
  val H1NoneEmpty = Thing("H4Empty")
  val H1Up = Thing("H4Up")
  val H2Empty = Thing("H4Empty")
  val H2Up = Thing("H4Up")

  val parserA = sp.domain.logic.ActionParser(List(R2PalettToR5Pos1,R2PalettToR5Pos2,R2PalettToR4Pos1,R2PalettToR4Pos2,R2PalettRemoveR5Pos1,
    R2PalettRemoveR5Pos2,R2PalettRemoveR4Pos1,R2PalettRemoveR4Pos2,R2PlaceBuildingPalett,R2RemoveBuildingPalett))

  // Things for Actions
  val R2PalettToR5Pos1 = Thing("R2PalettToR5Pos1")
  val R2PalettToR5Pos2 = Thing("R2PalettToR5Pos2")
  val R2PalettToR4Pos1 = Thing("R2PalletToR4Pos1")
  val R2PalettToR4Pos2 = Thing("R2PalettToR4Pos2")
  val R2PalettRemoveR5Pos1 = Thing("R2PalettRemoveR5Pos1")
  val R2PalettRemoveR5Pos2 = Thing("R2PalettRemoveR5Pos2")
  val R2PalettRemoveR4Pos1 = Thing("R2PalettRemoveR4Pos1")
  val R2PalettRemoveR4Pos2 = Thing("R2PalettRemoveR4Pos2")
  val R2PlaceBuildingPalett = Thing("R2PlaceBuildingPalett")
  val R2RemoveBuildingPalett = Thing("R2RemoveBuildingPalett")



  //Create gaurds
  val buildSpace1Booked = parserG.parseStr("buildSpace1Booked == true").right.get
  val buildSpace2Booked = parserG.parseStr("buildSpace2Booked == true").right.get
  val buildSpace3Booked = parserG.parseStr("buildSpace3Booked == true").right.get
  val buildSpace4Booked = parserG.parseStr("buildSpace4Booked == true").right.get
  val R2booked = parserG.parseStr("R2Booked == false").right.get
  val R4booked = parserG.parseStr("R4Booked == false").right.get
  val R5booked = parserG.parseStr("R5Booked == false").right.get
  val R4dodge = parserG.parseStr("R4Dodge == true").right.get
  val R5dodge = parserG.parseStr("R4Dodge == true").right.get

  //Create actions
  val aGenerateOperatorInstructions = parserA.parseStr("generateOperatorInstructions = True").right.get
val temp = List()

  //Operations

  //Example
  //val init = Operation("Init", List(PropositionCondition(AND(List()), List(aGenerateOperatorInstructions))),SPAttributes(), ID.newID)

  //R2 Operations
  val OR2PalettToR5PalettSpace1 = Operation // (Pos1 clear) Action R2 Booked = True
  val OR2PalettToR5PalettSpace2 = Operation // (Pos2 clear AND POS1 filled)
  val OR2PalettToR4PalettSpace1 = Operation // (Pos1 clear)
  val OR2PalettToR4PalettSpace2 = Operation // (Pos2 clear AND POS1 filled)
  val OR2PalettRemoveR5PalettSpace1 = Operation // Operation R4BuildFromPos1 Done
  val OR2PalettRemoveR5PalettSpace2 = Operation // Operation R4BuildFromPos2 Done
  val OR2PalettRemoveR4PalettSpace1 = Operation // Operation R5BuildFromPos1 Done
  val OR2PalettRemoveR4PalettSpace2 = Operation // Operation R5BuildFromPos2 Done
  val OR2PlaceBuildingPalett =   Operation //
  val OR2RemoveBuildingPalett =  Operation // Operation
  val OR2RemoveBooking =  Operation // After operations that books R2

  val OR4BuildFromPos1 = Operation //
  val OR4BuildFromPos2 = Operation //
  val OR4RemoveBooking = Operation // After operations that books R5

  val OR5BuildFromPos1 = Operation //
  val OR5BuildFromPos2 = Operation //
  val OR5RemoveBooking = Operation // After operations that books R5
>>>>>>> d7376f429e78d11a747e4b2d3cfd664de7cc1ea7
}



/*

  //Init parsers
  val parserG = sp.domain.logic.PropositionParser(List(newBuildOrder, systemReady))
  val parserA = sp.domain.logic.ActionParser(List(generateOperatorInstructions))

  // Things for Guards
  val newBuildOrder = Thing("newBuildOrder")
  val systemReady = Thing("systemReady")
  val operatorInstructionsGenerated = Thing("operatorInstructionsGenerated")
  val palettReady = Thing("palettReady")


  // Things for Actions
  val generateOperatorInstructions = Thing("generateOperatorInstructions")



  //Create gaurds
  val gNewBuildOrder = parserG.parseStr("newBuildOrder == true").right.get
  val gSystemReady = parserG.parseStr("systemReady == true").right.get
  //Create actions
  val aGenerateOperatorInstructions = parserA.parseStr("generateOperatorInstructions = True").right.get

{'fraction_non_alphanumeric': 0.09818426361802286, 'fraction_numerical': 0.04292759470970634, 'mean_word_length': 4.7754045307443365, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 10, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6100646', 'n_tokens_mistral': 3195, 'n_tokens_neox': 3044, 'n_words': 533}