jar

net.alloyggp : alloy-ggp-base

Maven & Gradle

Sep 09, 2018
0 stars

alloy-ggp-base · A modified version of the GGP-Base library for Alloy.

Table Of Contents

Latest Version

Download net.alloyggp : alloy-ggp-base JAR file - Latest Versions:

All Versions

Download net.alloyggp : alloy-ggp-base JAR file - All Versions:

Version Vulnerabilities Size Updated
0.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window alloy-ggp-base-0.0.15.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.ggp.base.util.propnet.architecture

├─ org.ggp.base.util.propnet.architecture.Component.class - [JAR]

├─ org.ggp.base.util.propnet.architecture.PropNet.class - [JAR]

org.ggp.base.util.statemachine.cache

├─ org.ggp.base.util.statemachine.cache.CachedStateMachine.class - [JAR]

├─ org.ggp.base.util.statemachine.cache.TtlCache.class - [JAR]

org.ggp.base.util.statemachine.exceptions

├─ org.ggp.base.util.statemachine.exceptions.GoalDefinitionException.class - [JAR]

├─ org.ggp.base.util.statemachine.exceptions.MoveDefinitionException.class - [JAR]

├─ org.ggp.base.util.statemachine.exceptions.TransitionDefinitionException.class - [JAR]

org.ggp.base.apps.player.network

├─ org.ggp.base.apps.player.network.NetworkPanel.class - [JAR]

org.ggp.base.player.gamer.python.stubs

├─ org.ggp.base.player.gamer.python.stubs.SamplePythonGamerStub.class - [JAR]

org.ggp.base.util.propnet.architecture.components

├─ org.ggp.base.util.propnet.architecture.components.And.class - [JAR]

├─ org.ggp.base.util.propnet.architecture.components.Constant.class - [JAR]

├─ org.ggp.base.util.propnet.architecture.components.Not.class - [JAR]

├─ org.ggp.base.util.propnet.architecture.components.Or.class - [JAR]

├─ org.ggp.base.util.propnet.architecture.components.Proposition.class - [JAR]

├─ org.ggp.base.util.propnet.architecture.components.Transition.class - [JAR]

org.ggp.base.util.crypto

├─ org.ggp.base.util.crypto.BaseCryptography.class - [JAR]

├─ org.ggp.base.util.crypto.BaseHashing.class - [JAR]

├─ org.ggp.base.util.crypto.CanonicalJSON.class - [JAR]

├─ org.ggp.base.util.crypto.SignableJSON.class - [JAR]

org.ggp.base.apps.consoles

├─ org.ggp.base.apps.consoles.ClojureConsole.class - [JAR]

├─ org.ggp.base.apps.consoles.PythonConsole.class - [JAR]

org.ggp.base.apps.player.detail

├─ org.ggp.base.apps.player.detail.DetailPanel.class - [JAR]

├─ org.ggp.base.apps.player.detail.EmptyDetailPanel.class - [JAR]

├─ org.ggp.base.apps.player.detail.SimpleDetailPanel.class - [JAR]

org.ggp.base.player.gamer

├─ org.ggp.base.player.gamer.Gamer.class - [JAR]

org.ggp.base.player.request.factory

├─ org.ggp.base.player.request.factory.RequestFactory.class - [JAR]

org.ggp.base.player.event

├─ org.ggp.base.player.event.PlayerDroppedPacketEvent.class - [JAR]

├─ org.ggp.base.player.event.PlayerReceivedMessageEvent.class - [JAR]

├─ org.ggp.base.player.event.PlayerSentMessageEvent.class - [JAR]

├─ org.ggp.base.player.event.PlayerTimeEvent.class - [JAR]

org.ggp.base.util.prover

├─ org.ggp.base.util.prover.Prover.class - [JAR]

org.ggp.base.util.statemachine.implementation.prover.query

├─ org.ggp.base.util.statemachine.implementation.prover.query.ProverQueryBuilder.class - [JAR]

org.ggp.base.server.event

├─ org.ggp.base.server.event.ServerAbortedMatchEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerCompletedMatchEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerConnectionErrorEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerIllegalMoveEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerMatchUpdatedEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerNewGameStateEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerNewMatchEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerNewMovesEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerTimeEvent.class - [JAR]

├─ org.ggp.base.server.event.ServerTimeoutEvent.class - [JAR]

org.ggp.base.apps.validator.event

├─ org.ggp.base.apps.validator.event.ValidatorFailureEvent.class - [JAR]

├─ org.ggp.base.apps.validator.event.ValidatorSuccessEvent.class - [JAR]

org.ggp.base.apps.validator

├─ org.ggp.base.apps.validator.BatchValidator.class - [JAR]

├─ org.ggp.base.apps.validator.OutcomePanel.class - [JAR]

├─ org.ggp.base.apps.validator.Validator.class - [JAR]

├─ org.ggp.base.apps.validator.ValidatorThread.class - [JAR]

org.ggp.base.player.gamer.statemachine.sample

├─ org.ggp.base.player.gamer.statemachine.sample.SampleAlphabetGamer.class - [JAR]

├─ org.ggp.base.player.gamer.statemachine.sample.SampleGamer.class - [JAR]

├─ org.ggp.base.player.gamer.statemachine.sample.SampleMonteCarloGamer.class - [JAR]

├─ org.ggp.base.player.gamer.statemachine.sample.SampleNoopGamer.class - [JAR]

├─ org.ggp.base.player.gamer.statemachine.sample.SampleSearchLightGamer.class - [JAR]

org.ggp.base.util.configuration

├─ org.ggp.base.util.configuration.GamerConfiguration.class - [JAR]

├─ org.ggp.base.util.configuration.ProjectConfiguration.class - [JAR]

org.ggp.base.util.reflection

├─ org.ggp.base.util.reflection.ProjectSearcher.class - [JAR]

org.ggp.base.util.statemachine.implementation.prover

├─ org.ggp.base.util.statemachine.implementation.prover.ProverStateMachine.class - [JAR]

├─ org.ggp.base.util.statemachine.implementation.prover.ProverStateMachineFactory.class - [JAR]

├─ org.ggp.base.util.statemachine.implementation.prover.StatLoggingProverRunner.class - [JAR]

org.ggp.base.apps.tiltyard

├─ org.ggp.base.apps.tiltyard.TiltyardRequestFarm.class - [JAR]

org.ggp.base.util.prover.aima.cache

├─ org.ggp.base.util.prover.aima.cache.ProverCache.class - [JAR]

org.ggp.base.apps.server.error

├─ org.ggp.base.apps.server.error.ErrorPanel.class - [JAR]

org.ggp.base.util.gdl.transforms

├─ org.ggp.base.util.gdl.transforms.CommonTransforms.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.CondensationIsolator.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.ConjunctDualizer.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.ConstantChecker.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.ConstantCheckerFactory.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.DeORer.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.DistinctAndNotMover.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.DistinctAndNotMover2.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.GdlCleaner.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.ImmutableConstantChecker.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.PartialDeORer.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.Relationizer.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.Transform.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.TransformTester.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.TransformedGame.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.VariableConstrainer.class - [JAR]

org.ggp.base.player.proxy

├─ org.ggp.base.player.proxy.ProxyGamePlayer.class - [JAR]

├─ org.ggp.base.player.proxy.ProxyGamePlayerClient.class - [JAR]

├─ org.ggp.base.player.proxy.ProxyMessage.class - [JAR]

├─ org.ggp.base.player.proxy.WorkingResponseSelectedEvent.class - [JAR]

org.ggp.base.util.observer

├─ org.ggp.base.util.observer.Event.class - [JAR]

├─ org.ggp.base.util.observer.Observer.class - [JAR]

├─ org.ggp.base.util.observer.Subject.class - [JAR]

org.ggp.base.util.prover.aima.knowledge

├─ org.ggp.base.util.prover.aima.knowledge.KnowledgeBase.class - [JAR]

org.ggp.base.apps.server.scheduling

├─ org.ggp.base.apps.server.scheduling.PendingMatch.class - [JAR]

├─ org.ggp.base.apps.server.scheduling.Scheduler.class - [JAR]

├─ org.ggp.base.apps.server.scheduling.SchedulingPanel.class - [JAR]

org.ggp.base.util.statemachine.sancho

├─ org.ggp.base.util.statemachine.sancho.Factor.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.FactorAnalyser.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.ForwardDeadReckonPropnetRuleEngine.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.ForwardDeadReckonPropositionCrossReferenceInfo.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.GameCharacteristics.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.GoalsCalculator.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.IPlayoutPolicy.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.MachineSpecificConfiguration.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.NullStateMachineFilter.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.PartitionedChoiceAnalyser.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.PartitionedChoiceStateMachineFilter.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.RoleOrdering.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.RuntimeGameCharacteristics.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.SanchoRuleEngineFactory.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.StateMachineFilter.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.StateMachineFilterUtils.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.Stats.class - [JAR]

├─ org.ggp.base.util.statemachine.sancho.StatsLogUtils.class - [JAR]

org.ggp.base.player.gamer.statemachine.human.gui

├─ org.ggp.base.player.gamer.statemachine.human.gui.HumanDetailPanel.class - [JAR]

org.ggp.base.player.gamer.exception

├─ org.ggp.base.player.gamer.exception.AbortingException.class - [JAR]

├─ org.ggp.base.player.gamer.exception.GamePreviewException.class - [JAR]

├─ org.ggp.base.player.gamer.exception.MetaGamingException.class - [JAR]

├─ org.ggp.base.player.gamer.exception.MoveSelectionException.class - [JAR]

├─ org.ggp.base.player.gamer.exception.StoppingException.class - [JAR]

org.ggp.base.util.statemachine.implementation.propnet

├─ org.ggp.base.util.statemachine.implementation.propnet.SamplePropNetStateMachine.class - [JAR]

org.ggp.base.util.reasoner.gdl

├─ org.ggp.base.util.reasoner.gdl.GdlChainingReasoner.class - [JAR]

├─ org.ggp.base.util.reasoner.gdl.GdlRuleWithAIPs.class - [JAR]

├─ org.ggp.base.util.reasoner.gdl.GdlRuleWithAipsChainingReasoner.class - [JAR]

├─ org.ggp.base.util.reasoner.gdl.GdlSentenceSet.class - [JAR]

org.ggp.base.util.propnet.factory.flattener

├─ org.ggp.base.util.propnet.factory.flattener.PropNetAnnotatedFlattener.class - [JAR]

├─ org.ggp.base.util.propnet.factory.flattener.PropNetFlattener.class - [JAR]

org.ggp.base.player.gamer.statemachine.random

├─ org.ggp.base.player.gamer.statemachine.random.RandomGamer.class - [JAR]

org.ggp.base.util.statemachine.implementation.prover.result

├─ org.ggp.base.util.statemachine.implementation.prover.result.ProverResultParser.class - [JAR]

org.ggp.base.util.game

├─ org.ggp.base.util.game.CloudGameRepository.class - [JAR]

├─ org.ggp.base.util.game.Game.class - [JAR]

├─ org.ggp.base.util.game.GameRepository.class - [JAR]

├─ org.ggp.base.util.game.LocalGameRepository.class - [JAR]

├─ org.ggp.base.util.game.RemoteGameRepository.class - [JAR]

├─ org.ggp.base.util.game.SimpleLocalGameRepository.class - [JAR]

├─ org.ggp.base.util.game.TestGameRepository.class - [JAR]

org.ggp.base.util.loader

├─ org.ggp.base.util.loader.RemoteResourceLoader.class - [JAR]

org.ggp.base.util.prover.aima.renamer

├─ org.ggp.base.util.prover.aima.renamer.VariableRenamer.class - [JAR]

org.ggp.base.util.concurrency

├─ org.ggp.base.util.concurrency.ConcurrencyUtils.class - [JAR]

org.ggp.base.player.request.grammar

├─ org.ggp.base.player.request.grammar.AbortRequest.class - [JAR]

├─ org.ggp.base.player.request.grammar.InfoRequest.class - [JAR]

├─ org.ggp.base.player.request.grammar.PlayRequest.class - [JAR]

├─ org.ggp.base.player.request.grammar.PreviewRequest.class - [JAR]

├─ org.ggp.base.player.request.grammar.Request.class - [JAR]

├─ org.ggp.base.player.request.grammar.StartRequest.class - [JAR]

├─ org.ggp.base.player.request.grammar.StopRequest.class - [JAR]

org.ggp.base.util.prover.query

├─ org.ggp.base.util.prover.query.QueryType.class - [JAR]

org.ggp.base.player.gamer.statemachine

├─ org.ggp.base.player.gamer.statemachine.StateMachineGamer.class - [JAR]

org.ggp.base.util.propnet.factory.sancho

├─ org.ggp.base.util.propnet.factory.sancho.OptimizingPolymorphicPropNetFactory.class - [JAR]

org.ggp.base.util.ui

├─ org.ggp.base.util.ui.ChainingReplacedElementFactory.class - [JAR]

├─ org.ggp.base.util.ui.CloseableTabs.class - [JAR]

├─ org.ggp.base.util.ui.ConsolePanel.class - [JAR]

├─ org.ggp.base.util.ui.GameSelector.class - [JAR]

├─ org.ggp.base.util.ui.GameStateRenderer.class - [JAR]

├─ org.ggp.base.util.ui.JLabelBold.class - [JAR]

├─ org.ggp.base.util.ui.JLabelHyperlink.class - [JAR]

├─ org.ggp.base.util.ui.NativeUI.class - [JAR]

├─ org.ggp.base.util.ui.PlayerSelector.class - [JAR]

├─ org.ggp.base.util.ui.PublishButton.class - [JAR]

├─ org.ggp.base.util.ui.SVGReplacedElementFactory.class - [JAR]

org.ggp.base.apps.research

├─ org.ggp.base.apps.research.Aggregation.class - [JAR]

├─ org.ggp.base.apps.research.Counter.class - [JAR]

├─ org.ggp.base.apps.research.FrequencyTable.class - [JAR]

├─ org.ggp.base.apps.research.Histogram.class - [JAR]

├─ org.ggp.base.apps.research.MatchArchiveProcessor.class - [JAR]

├─ org.ggp.base.apps.research.WeightedAverage.class - [JAR]

org.ggp.base.util.assignments

├─ org.ggp.base.util.assignments.AssignmentStrategy.class - [JAR]

├─ org.ggp.base.util.assignments.ComplexAssignmentIterationPlan.class - [JAR]

├─ org.ggp.base.util.assignments.ComplexAssignmentIterationPlanFactory.class - [JAR]

├─ org.ggp.base.util.assignments.DependentAssignmentStrategy.class - [JAR]

├─ org.ggp.base.util.assignments.LegacyAssignmentIterationPlanFactory.class - [JAR]

├─ org.ggp.base.util.assignments.MultipleAssignmentStrategy.class - [JAR]

├─ org.ggp.base.util.assignments.NaiveAssignmentIterationPlan.class - [JAR]

├─ org.ggp.base.util.assignments.NewAssignmentIterationPlan.class - [JAR]

├─ org.ggp.base.util.assignments.NewAssignmentIterator.class - [JAR]

├─ org.ggp.base.util.assignments.OdometerAssignmentIterationPlan.class - [JAR]

├─ org.ggp.base.util.assignments.SimpleAssignmentStrategy.class - [JAR]

├─ org.ggp.base.util.assignments.SingletonAssignmentIterationPlan.class - [JAR]

org.ggp.base.util.ruleengine

├─ org.ggp.base.util.ruleengine.CompareManyRuleEngineFactory.class - [JAR]

├─ org.ggp.base.util.ruleengine.GameDescriptionException.class - [JAR]

├─ org.ggp.base.util.ruleengine.RuleEngine.class - [JAR]

├─ org.ggp.base.util.ruleengine.RuleEngineFactory.class - [JAR]

├─ org.ggp.base.util.ruleengine.RuleEngineMove.class - [JAR]

├─ org.ggp.base.util.ruleengine.RuleEngineState.class - [JAR]

├─ org.ggp.base.util.ruleengine.StateMachineRuleEngine.class - [JAR]

├─ org.ggp.base.util.ruleengine.StdRuleEngine.class - [JAR]

├─ org.ggp.base.util.ruleengine.StdTranslator.class - [JAR]

├─ org.ggp.base.util.ruleengine.Translator.class - [JAR]

org.ggp.base.apps.player.match

├─ org.ggp.base.apps.player.match.MatchPanel.class - [JAR]

org.ggp.base.validator

├─ org.ggp.base.validator.BasesInputsValidator.class - [JAR]

├─ org.ggp.base.validator.GameValidator.class - [JAR]

├─ org.ggp.base.validator.OPNFValidator.class - [JAR]

├─ org.ggp.base.validator.SimulationValidator.class - [JAR]

├─ org.ggp.base.validator.StaticValidator.class - [JAR]

├─ org.ggp.base.validator.ValidatorException.class - [JAR]

├─ org.ggp.base.validator.ValidatorWarning.class - [JAR]

org.ggp.base.apps.player

├─ org.ggp.base.apps.player.Player.class - [JAR]

├─ org.ggp.base.apps.player.PlayerRunner.class - [JAR]

├─ org.ggp.base.apps.player.ProxiedPlayerRunner.class - [JAR]

org.ggp.base.server.threads

├─ org.ggp.base.server.threads.AbortRequestThread.class - [JAR]

├─ org.ggp.base.server.threads.PlayRequestThread.class - [JAR]

├─ org.ggp.base.server.threads.PreviewRequestThread.class - [JAR]

├─ org.ggp.base.server.threads.RandomPlayRequestThread.class - [JAR]

├─ org.ggp.base.server.threads.RequestThread.class - [JAR]

├─ org.ggp.base.server.threads.StartRequestThread.class - [JAR]

├─ org.ggp.base.server.threads.StopRequestThread.class - [JAR]

org.ggp.base.util.ui.table

├─ org.ggp.base.util.ui.table.JZebraTable.class - [JAR]

org.ggp.base.apps.player.config

├─ org.ggp.base.apps.player.config.ConfigPanel.class - [JAR]

├─ org.ggp.base.apps.player.config.EmptyConfigPanel.class - [JAR]

org.ggp.base.util.gdl.transforms.standalone

├─ org.ggp.base.util.gdl.transforms.standalone.StandaloneDeORer.class - [JAR]

├─ org.ggp.base.util.gdl.transforms.standalone.StandaloneVariableConstrainer.class - [JAR]

org.ggp.base.player.gamer.statemachine.human.event

├─ org.ggp.base.player.gamer.statemachine.human.event.HumanNewMovesEvent.class - [JAR]

├─ org.ggp.base.player.gamer.statemachine.human.event.HumanTimeoutEvent.class - [JAR]

org.ggp.base.util.gdl.model.assignments

├─ org.ggp.base.util.gdl.model.assignments.AddibleFunctionInfo.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.AssignmentFunction.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.AssignmentIterationPlan.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.AssignmentIterator.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.AssignmentIteratorImpl.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.Assignments.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.AssignmentsFactory.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.AssignmentsImpl.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.FunctionInfo.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.FunctionInfoImpl.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.FunctionInfos.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.IterationOrderCandidate.class - [JAR]

├─ org.ggp.base.util.gdl.model.assignments.MutableFunctionInfo.class - [JAR]

org.ggp.base.util.statemachine

├─ org.ggp.base.util.statemachine.CachedStateMachine.class - [JAR]

├─ org.ggp.base.util.statemachine.FailsafeStateMachine.class - [JAR]

├─ org.ggp.base.util.statemachine.MachineState.class - [JAR]

├─ org.ggp.base.util.statemachine.Move.class - [JAR]

├─ org.ggp.base.util.statemachine.Role.class - [JAR]

├─ org.ggp.base.util.statemachine.StateMachine.class - [JAR]

├─ org.ggp.base.util.statemachine.StateMachineFactory.class - [JAR]

├─ org.ggp.base.util.statemachine.WrongMachineStateTypeException.class - [JAR]

org.ggp.base.apps.logging

├─ org.ggp.base.apps.logging.ExampleLogSummarizer.class - [JAR]

├─ org.ggp.base.apps.logging.ExampleLogSummaryGenerator.class - [JAR]

├─ org.ggp.base.apps.logging.LogSummarizer.class - [JAR]

org.ggp.base.util.hashing

├─ org.ggp.base.util.hashing.ZHashContext.class - [JAR]

org.ggp.base.server.request

├─ org.ggp.base.server.request.RequestBuilder.class - [JAR]

org.ggp.base.player.gamer.clojure.stubs

├─ org.ggp.base.player.gamer.clojure.stubs.SampleClojureGamerStub.class - [JAR]

org.ggp.base.player.gamer.statemachine.human

├─ org.ggp.base.player.gamer.statemachine.human.HumanGamer.class - [JAR]

org.ggp.base.util.propnet.sancho

├─ org.ggp.base.util.propnet.sancho.BidirectionalPropagationComponent.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonAnd.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonComponent.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonComponentFactory.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonComponentTransitionNotifier.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonConstant.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonInternalMachineState.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonLegalMoveInfo.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonLegalMoveSet.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonNot.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonOr.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonPropNet.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonPropnetFastAnimator.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonProposition.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonPropositionInfo.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.ForwardDeadReckonTransition.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.LearningComponent.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.MultiInstanceComponent.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicAnd.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicComponent.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicComponentFactory.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicConstant.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicNot.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicOr.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicPropNet.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicProposition.class - [JAR]

├─ org.ggp.base.util.propnet.sancho.PolymorphicTransition.class - [JAR]

org.ggp.base.apps.server

├─ org.ggp.base.apps.server.Server.class - [JAR]

org.ggp.base.util.files

├─ org.ggp.base.util.files.FileUtils.class - [JAR]

org.ggp.base.util.symbol.grammar

├─ org.ggp.base.util.symbol.grammar.Symbol.class - [JAR]

├─ org.ggp.base.util.symbol.grammar.SymbolAtom.class - [JAR]

├─ org.ggp.base.util.symbol.grammar.SymbolList.class - [JAR]

├─ org.ggp.base.util.symbol.grammar.SymbolPool.class - [JAR]

org.ggp.base.apps.kiosk

├─ org.ggp.base.apps.kiosk.GameCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.GameGUI.class - [JAR]

├─ org.ggp.base.apps.kiosk.Kiosk.class - [JAR]

├─ org.ggp.base.apps.kiosk.KioskGamer.class - [JAR]

├─ org.ggp.base.apps.kiosk.MoveSelectedEvent.class - [JAR]

external.Base64Coder

├─ external.Base64Coder.Base64Coder.class - [JAR]

org.ggp.base.util.prover.aima.unifier

├─ org.ggp.base.util.prover.aima.unifier.Unifier.class - [JAR]

org.ggp.base.player

├─ org.ggp.base.player.GamePlayer.class - [JAR]

org.ggp.base.util.ruleengine.prover

├─ org.ggp.base.util.ruleengine.prover.ProverRuleEngine.class - [JAR]

├─ org.ggp.base.util.ruleengine.prover.ProverRuleEngineFactory.class - [JAR]

org.ggp.base.util.logging

├─ org.ggp.base.util.logging.GamerLogger.class - [JAR]

├─ org.ggp.base.util.logging.LogSummaryGenerator.class - [JAR]

├─ org.ggp.base.util.logging.PerMatchEventLogger.class - [JAR]

├─ org.ggp.base.util.logging.PerMatchLogger.class - [JAR]

├─ org.ggp.base.util.logging.PerMatchTimeSeriesLogger.class - [JAR]

org.ggp.base.util.gdl.factory

├─ org.ggp.base.util.gdl.factory.GdlFactory.class - [JAR]

org.ggp.base.player.gamer.python

├─ org.ggp.base.player.gamer.python.PythonGamer.class - [JAR]

org.ggp.base.player.gamer.event

├─ org.ggp.base.player.gamer.event.GamerAbortedMatchEvent.class - [JAR]

├─ org.ggp.base.player.gamer.event.GamerCompletedMatchEvent.class - [JAR]

├─ org.ggp.base.player.gamer.event.GamerNewMatchEvent.class - [JAR]

├─ org.ggp.base.player.gamer.event.GamerSelectedMoveEvent.class - [JAR]

├─ org.ggp.base.player.gamer.event.GamerUnrecognizedMatchEvent.class - [JAR]

org.ggp.base.player.gamer.clojure

├─ org.ggp.base.player.gamer.clojure.ClojureGamer.class - [JAR]

org.ggp.base.util.propnet.factory.converter

├─ org.ggp.base.util.propnet.factory.converter.PropNetConverter.class - [JAR]

org.ggp.base.util.gdl.scrambler

├─ org.ggp.base.util.gdl.scrambler.GdlRenderer.class - [JAR]

├─ org.ggp.base.util.gdl.scrambler.GdlScrambler.class - [JAR]

├─ org.ggp.base.util.gdl.scrambler.MappingGdlScrambler.class - [JAR]

├─ org.ggp.base.util.gdl.scrambler.NoOpGdlScrambler.class - [JAR]

├─ org.ggp.base.util.gdl.scrambler.WordList.class - [JAR]

org.ggp.base.player.request.factory.exceptions

├─ org.ggp.base.player.request.factory.exceptions.RequestFormatException.class - [JAR]

org.ggp.base.util.gdl

├─ org.ggp.base.util.gdl.GdlUtils.class - [JAR]

├─ org.ggp.base.util.gdl.GdlValidator.class - [JAR]

├─ org.ggp.base.util.gdl.GdlVisitor.class - [JAR]

├─ org.ggp.base.util.gdl.GdlVisitors.class - [JAR]

org.ggp.base.util

├─ org.ggp.base.util.AlloyUtils.class - [JAR]

├─ org.ggp.base.util.Counter.class - [JAR]

├─ org.ggp.base.util.DotGraph.class - [JAR]

├─ org.ggp.base.util.GoalTuplePool.class - [JAR]

├─ org.ggp.base.util.ImmutableIntArray.class - [JAR]

├─ org.ggp.base.util.Immutables.class - [JAR]

├─ org.ggp.base.util.IntArrayQueue.class - [JAR]

├─ org.ggp.base.util.Odometer.class - [JAR]

├─ org.ggp.base.util.Pair.class - [JAR]

├─ org.ggp.base.util.PerfLogger.class - [JAR]

├─ org.ggp.base.util.Probs.class - [JAR]

├─ org.ggp.base.util.Timer.class - [JAR]

├─ org.ggp.base.util.Trove.class - [JAR]

org.ggp.base.apps.exponent

├─ org.ggp.base.apps.exponent.PerMatchLogSummaryGenerator.class - [JAR]

org.ggp.base.apps.server.visualization

├─ org.ggp.base.apps.server.visualization.NewVizContainerPanel.class - [JAR]

├─ org.ggp.base.apps.server.visualization.VisualizationPanel.class - [JAR]

├─ org.ggp.base.apps.server.visualization.VizContainerPanel.class - [JAR]

org.ggp.base.util.reasoner

├─ org.ggp.base.util.reasoner.DifferentialForwardChainingReasoner.class - [JAR]

├─ org.ggp.base.util.reasoner.ForwardChainingReasoner.class - [JAR]

org.ggp.base.util.gdl.grammar

├─ org.ggp.base.util.gdl.grammar.Gdl.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlConstant.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlDistinct.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlFunction.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlLiteral.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlNot.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlOr.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlPool.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlProposition.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlRelation.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlRule.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlSentence.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlTerm.class - [JAR]

├─ org.ggp.base.util.gdl.grammar.GdlVariable.class - [JAR]

org.ggp.base.util.graph

├─ org.ggp.base.util.graph.DirectedMinimumSpanningTreeFinder.class - [JAR]

org.ggp.base.util.prover.aima

├─ org.ggp.base.util.prover.aima.AimaProver.class - [JAR]

org.ggp.base.util.prover.aima.substituter

├─ org.ggp.base.util.prover.aima.substituter.Substituter.class - [JAR]

org.ggp.base.util.propnet

├─ org.ggp.base.util.propnet.Components.class - [JAR]

org.ggp.base.apps.kiosk.games

├─ org.ggp.base.apps.kiosk.games.BattleCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.BiddingTicTacToeCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.BlockerCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.BlokboxSimpleCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.BreakthroughCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.BreakthroughHolesCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.BreakthroughSmallCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.CephalopodCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.CheckersCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.CheckersSmallCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.CheckersTinyCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.ChessCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.ChickenTicTacToeCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.ConnectFiveCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.ConnectFourCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.FFACanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.GoldenRectangleCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.KnightFightCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.KnightthroughCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.NumberTicTacToeCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.PawnWhoppingCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.PentagoCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.TTCC4Canvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.TTCC4SmallCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.TTCCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.TTTxNineCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.TicTacToeCanvas.class - [JAR]

├─ org.ggp.base.apps.kiosk.games.TicTacToeCanvas_Reference.class - [JAR]

org.ggp.base.util.symbol.factory

├─ org.ggp.base.util.symbol.factory.SymbolFactory.class - [JAR]

org.ggp.base.apps.benchmark

├─ org.ggp.base.apps.benchmark.AlloyPlayerTester.class - [JAR]

├─ org.ggp.base.apps.benchmark.EndgameCaseGenerator.class - [JAR]

├─ org.ggp.base.apps.benchmark.ImportSanchoCases.class - [JAR]

├─ org.ggp.base.apps.benchmark.PlayerTester.class - [JAR]

├─ org.ggp.base.apps.benchmark.PlayerTesterCases.class - [JAR]

org.ggp.base.util.gdl.model

├─ org.ggp.base.util.gdl.model.AbstractSentenceDomainModel.class - [JAR]

├─ org.ggp.base.util.gdl.model.AbstractSentenceForm.class - [JAR]

├─ org.ggp.base.util.gdl.model.CartesianSentenceFormDomain.class - [JAR]

├─ org.ggp.base.util.gdl.model.DependencyGraphs.class - [JAR]

├─ org.ggp.base.util.gdl.model.FullSentenceFormDomain.class - [JAR]

├─ org.ggp.base.util.gdl.model.GameFlow.class - [JAR]

├─ org.ggp.base.util.gdl.model.GameFlowTester.class - [JAR]

├─ org.ggp.base.util.gdl.model.ImmutableSentenceDomainModel.class - [JAR]

├─ org.ggp.base.util.gdl.model.ImmutableSentenceFormModel.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceDomainModel.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceDomainModelFactory.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceDomainModelOptimizer.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceDomainModels.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceForm.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceFormDomain.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceFormModel.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceFormModelFactory.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceForms.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceFormsFinder.class - [JAR]

├─ org.ggp.base.util.gdl.model.SentenceModelUtils.class - [JAR]

├─ org.ggp.base.util.gdl.model.SimpleSentenceForm.class - [JAR]

external.JSON

├─ external.JSON.JSONArray.class - [JAR]

├─ external.JSON.JSONException.class - [JAR]

├─ external.JSON.JSONObject.class - [JAR]

├─ external.JSON.JSONString.class - [JAR]

├─ external.JSON.JSONTokener.class - [JAR]

org.ggp.base.apps.server.states

├─ org.ggp.base.apps.server.states.StatesPanel.class - [JAR]

org.ggp.base.util.http

├─ org.ggp.base.util.http.HttpReader.class - [JAR]

├─ org.ggp.base.util.http.HttpRequest.class - [JAR]

├─ org.ggp.base.util.http.HttpWriter.class - [JAR]

org.ggp.base.apps.utilities

├─ org.ggp.base.apps.utilities.GameServerRunner.class - [JAR]

├─ org.ggp.base.apps.utilities.SimpleGameSim.class - [JAR]

org.ggp.base.apps.server.history

├─ org.ggp.base.apps.server.history.HistoryPanel.class - [JAR]

org.ggp.base.util.presence

├─ org.ggp.base.util.presence.InfoResponse.class - [JAR]

├─ org.ggp.base.util.presence.PlayerPresence.class - [JAR]

├─ org.ggp.base.util.presence.PlayerPresenceManager.class - [JAR]

org.ggp.base.server

├─ org.ggp.base.server.GameServer.class - [JAR]

org.ggp.base.util.propnet.factory.annotater

├─ org.ggp.base.util.propnet.factory.annotater.PropNetAnnotater.class - [JAR]

org.ggp.base.util.gdl.factory.exceptions

├─ org.ggp.base.util.gdl.factory.exceptions.GdlFormatException.class - [JAR]

org.ggp.base.util.match

├─ org.ggp.base.util.match.Match.class - [JAR]

├─ org.ggp.base.util.match.MatchPublisher.class - [JAR]

org.ggp.base.util.ui.timer

├─ org.ggp.base.util.ui.timer.JTimerBar.class - [JAR]

org.ggp.base.util.statemachine.verifier

├─ org.ggp.base.util.statemachine.verifier.StateMachineVerifier.class - [JAR]

org.ggp.base.util.symbol.factory.exceptions

├─ org.ggp.base.util.symbol.factory.exceptions.SymbolFormatException.class - [JAR]

org.ggp.base.apps.kiosk.templates

├─ org.ggp.base.apps.kiosk.templates.CommonGraphics.class - [JAR]

├─ org.ggp.base.apps.kiosk.templates.GameCanvas_Chessboard.class - [JAR]

├─ org.ggp.base.apps.kiosk.templates.GameCanvas_FancyGrid.class - [JAR]

├─ org.ggp.base.apps.kiosk.templates.GameCanvas_SimpleGrid.class - [JAR]

org.ggp.base.util.prover.aima.substitution

├─ org.ggp.base.util.prover.aima.substitution.Substitution.class - [JAR]

org.ggp.base.util.prover.logging

├─ org.ggp.base.util.prover.logging.KnowledgeBase.class - [JAR]

├─ org.ggp.base.util.prover.logging.LoggingAimaProver.class - [JAR]

├─ org.ggp.base.util.prover.logging.ProverCache.class - [JAR]

├─ org.ggp.base.util.prover.logging.ProverLogger.class - [JAR]

├─ org.ggp.base.util.prover.logging.StandardProverLogger.class - [JAR]

├─ org.ggp.base.util.prover.logging.Substituter.class - [JAR]

├─ org.ggp.base.util.prover.logging.Substitution.class - [JAR]

├─ org.ggp.base.util.prover.logging.Unifier.class - [JAR]

├─ org.ggp.base.util.prover.logging.VariableRenamer.class - [JAR]

org.ggp.base.apps.server.leaderboard

├─ org.ggp.base.apps.server.leaderboard.LeaderboardPanel.class - [JAR]

org.ggp.base.util.propnet.factory

├─ org.ggp.base.util.propnet.factory.LegacyPropNetFactory.class - [JAR]

├─ org.ggp.base.util.propnet.factory.OptimizingPropNetFactory.class - [JAR]

├─ org.ggp.base.util.propnet.factory.PropNetOrderingBuilder.class - [JAR]

Advertisement

Dependencies from Group

Oct 24, 2016
2 usages
0 stars
Dec 24, 2015
1 usages
5 stars
Oct 28, 2016
2 stars
Sep 09, 2018
0 stars

Discover Dependencies

Apr 07, 2016
443 stars
Apr 03, 2016
1 stars
Dec 21, 2016
1 stars
Apr 14, 2016
4 stars
Apr 13, 2016
0 stars
Dec 09, 2016
131 stars
Apr 05, 2016
0 stars
Jul 08, 2016
65 stars