Tabnine Logo
GenerateSortPredicateRules.<init>
Code IndexAdd Tabnine to your IDE (free)

How to use
org.kframework.compile.GenerateSortPredicateRules
constructor

Best Java code snippets using org.kframework.compile.GenerateSortPredicateRules.<init> (Showing top 2 results out of 315)

origin: kframework/k

public static String getKompiledString(Module mainModule, KLabel topCellInitializer, FileUtil files, boolean heatCoolEquations) {
  mainModule = new GenerateSortPredicateRules(true).gen(mainModule);
  mainModule = ModuleTransformer.fromKTransformer(new AddSortInjections(mainModule)::addInjections, "Add sort injections").apply(mainModule);
  mainModule = ModuleTransformer.fromSentenceTransformer(new MinimizeTermConstruction(mainModule)::resolve, "Minimize term construction").apply(mainModule);
  ModuleToKORE moduleToKORE = new ModuleToKORE(mainModule, files, topCellInitializer);
  String kompiledString = moduleToKORE.convert(heatCoolEquations);
  Properties koreToKLabels = new Properties();
  koreToKLabels.putAll(moduleToKORE.getKToKoreLabelMap().inverse());
  try {
    FileOutputStream output = new FileOutputStream(files.resolveKompiled("kore_to_k_labels.properties"));
    koreToKLabels.store(output, "Properties file containing the mapping from kore to k labels");
  } catch (IOException e) {
    throw KEMException.criticalError("Error while saving kore to K labels map", e);
  }
  return kompiledString;
}
origin: kframework/k

public void initialize(CompiledDefinition def) {
  Function1<Module, Module> generatePredicates = new GenerateSortPredicateRules(false)::gen;
  this.convertDataStructure = new ConvertDataStructureToLookup(def.executionModule(), true);
  ModuleTransformer convertLookups = ModuleTransformer.fromSentenceTransformer(convertDataStructure::convert, "convert data structures to lookups");
org.kframework.compileGenerateSortPredicateRules<init>

Popular methods of GenerateSortPredicateRules

  • gen
  • genKore
  • getPredicateSort
  • isPredicateFor
  • promotePredicate
    Takes a rule representing a predicate of one sort and promotes it to a rule representing a predicate

Popular in Java

  • Making http post requests using okhttp
  • setScale (BigDecimal)
  • getResourceAsStream (ClassLoader)
  • getExternalFilesDir (Context)
  • ConnectException (java.net)
    A ConnectException is thrown if a connection cannot be established to a remote host on a specific po
  • Date (java.sql)
    A class which can consume and produce dates in SQL Date format. Dates are represented in SQL as yyyy
  • Timer (java.util)
    Timers schedule one-shot or recurring TimerTask for execution. Prefer java.util.concurrent.Scheduled
  • AtomicInteger (java.util.concurrent.atomic)
    An int value that may be updated atomically. See the java.util.concurrent.atomic package specificati
  • Handler (java.util.logging)
    A Handler object accepts a logging request and exports the desired messages to a target, for example
  • JOptionPane (javax.swing)
  • Top PhpStorm plugins
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