Tabnine Logo
ITime
Code IndexAdd Tabnine to your IDE (free)

How to use
ITime
in
it.unibo.alchemist.model.interfaces

Best Java code snippets using it.unibo.alchemist.model.interfaces.ITime (Showing top 1 results out of 315)

origin: it.unibo.alchemist/alchemist-approximatemodelchecking

@Override
public void stepDone(final IEnvironment<T> env, final IReaction<T> r, final ITime time, final long step) {
  res = time.toDouble();
  if (!canChange) {
    return;
  }
  for (final Observation<Boolean, T> o : getObservations()) {
    if (o.canChange() && !o.observe(env)) {
      return;
    }
  }
  canChange = false;
  checkForStop(env);
}
it.unibo.alchemist.model.interfacesITime

Most used methods

  • toDouble

Popular in Java

  • Running tasks concurrently on multiple threads
  • setScale (BigDecimal)
  • getSupportFragmentManager (FragmentActivity)
  • onRequestPermissionsResult (Fragment)
  • BufferedImage (java.awt.image)
    The BufferedImage subclass describes an java.awt.Image with an accessible buffer of image data. All
  • MalformedURLException (java.net)
    This exception is thrown when a program attempts to create an URL from an incorrect specification.
  • Path (java.nio.file)
  • Collectors (java.util.stream)
  • Servlet (javax.servlet)
    Defines methods that all servlets must implement. A servlet is a small Java program that runs within
  • Base64 (org.apache.commons.codec.binary)
    Provides Base64 encoding and decoding as defined by RFC 2045.This class implements section 6.8. Base
  • From CI to AI: The AI layer in your organization
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now