BPjs-Context:BPjs的上下文习惯用法
需积分: 5 69 浏览量
2021-03-26
05:29:05
上传
评论
收藏 104KB ZIP 举报
BPjs-Context-master.zip （87个子文件） 
BPjs-Context-master OldExamples-deprecated Chess 
pom.xml 867B src test resources test_population_data.js 1B main resources schema.drawio 1KB contextual-program.js 21KB verification.js 554B not-contextual-program.js 17KB assertions.js 698B db_population.js 4KB assaf version.js 5KB java il ac bgu cs bp bpjs context examples chess schema BasicEntity.java 1KB Piece.java 2KB Cell.java 2KB Pawn.java 808B effectFunction AddCell.java 577B PawnMove.java 991B AddPiece.java 1KB Move.java 2KB UCI.java 6KB Main.java 544B Room pom.xml 757B src test resources test_population_data.js 728B java il ac bgu cs bp bpjs context examples room MainTest.java 2KB main resources program.js 2KB verification.js 413B db_population.js 1KB java il ac bgu cs bp bpjs context examples room Verifier.java 2KB schema BasicEntity.java 1KB effectFunctions MarkRoomEffect.java 821B MotionStartedEffect.java 726B TickEffect.java 659B System.java 640B devices SmartSpeaker.java 383B SmartLight.java 1KB MotionDetector.java 956B AirConditioner.java 1KB Emergency.java 440B Worker.java 742B rooms Restroom.java 322B Room.java 2KB Office.java 887B Kitchen.java 252B Main.java 2KB TTT pom.xml 867B src test resources test_population_data.js 728B java il ac bgu cs bp bpjs context examples ttt TttTest.java 2KB main resources program.js 8KB verification.js 109B assertions.js 358B db_population.js 1KB java il ac bgu cs bp bpjs context examples ttt Verifier.java 2KB schema BasicEntity.java 1KB Cell.java 1KB Triple.java 728B Main.java 1KB GOL pom.xml 760B src main resources verification.js 109B program-with-mating.js 3KB assertions.js 358B program-no-mating.js 4KB db_population.js 3KB java il ac bgu cs bp bpjs context examples gol schema BasicEntity.java 1KB GameOfLife.java 967B Cell.java 8KB Mating.java 1KB AnyDieEvent.java 296B AnyReproduceEvent.java 308B gui GameView.java 3KB GameView.form 3KB Main.java 7KB pom.xml 883B LICENSE 1KB src test resources chess bl.js 11KB dal.js 7KB SampleContextualProgram.js 902B java il ac bgu cs bp bpjs context Verification.java 638B Main.java 985B main resources context.js 10KB java il ac bgu cs bp bpjs context BProgramProxyForEffects.java 3KB CtxEventSelectionStrategy.java 4KB ContextProxy.java 1KB PrintCOBProgramRunnerListener.java 838B ScriptableObjectCloner.java 2KB ContextBProgram.java 2KB ContextStorageModificationStrategy.java 6KB .gitignore 441B .mvn jvm.config 13B README.md 122B资源评论
