Package com.semedy.reasoner.app

package com.semedy.reasoner.app
  • Class
    Description
    AccessIndex
    testores an ix file out of an iix file
    APIMethods
     
    Backup
    backs up an edb
    ChangeRangeInRaw
    change the data type of one property in a raw file
    Check4Bug
    An implementation of this interface checks whether an error exists.
    Check4Bulk
    This class checks whether an error exists.
    Check4DoubleLoad
    This class checks whether an error exists.
    Check4JsonBug
    An implementation of this interface checks whether an error exists.
    Check4Replay
    This class checks whether an error exists.
    Check4SymbolTable
    This class checks whether an error exists.
    CheckSanity
     
    DebuggingMonitor
     
    DefragmentEDB
    exports member|2 und value|3 and imports them again.
    DeleteDataTool
     
    ExcelToJson
    translates csv files to raw files header file looks as following <property name>:<range of property> Ranges can be String,Number,Boolean If Range is specified as None, the property is skipped fields which are key fields are marked with a * Range can be skipped if range is a string
    ExcelToRaw
    translates csv files to raw files header file looks as following <property name>:<range of property> Ranges can be String,Number,Boolean If Range is specified as None, the property is skipped fields which are key fields are marked with a * Range can be skipped if range is a string
    ExportJson
    exports specified predicates of edb
    ExportRaw
    exports specified predicates of edb
    ExportTool
     
    FilterProperty
     
    Foil
    FOIL rule inductions
    Import
     
    IncrementalReplay
    loads files (facts or rules) into edb and idb
    Index
    creates an index on an argument position of a certain predicate in edb
    Interpreter
    a small command line interpreter loads files during launc.
    JsonLoadNCheck
     
    JsonProblemMinimizer
    Problem minimizer systematically reduces the set of facts in order to find a minimal
    set of facts which still shows the problem
    .
    Load
    loads files (facts or rules) into edb and idb
    MultiInterpreter
    a small command line interpreter loads files during launch.
    MultiResultEnumerator
     
    OpenSingleRelation
    creates an index on an argument position of a certain predicate in edb
    ParseJson
     
    ProblemMinimizer
    Problem minimizer systematically reduces the set of facts in order to find a minimal
    set of facts which still shows the problem
    .
    QueryRegister
    registers a query for cep for ide
    QueryRunner
    runner for dsl ide for a query
    ReIndex
     
    RepairEDB
    repairs an extensional database by
    1. deleting corrupt indices
    2. restoring damaged predicates from a backup and
    3. replaying log files into symbol table and into predicate files.
    ReplayLogFile
    exports specified predicates of edb
    ReplayLogFileKevin
     
    RestoreBackup
    restores a backup
    RestoreFromIndex
    testores an ix file out of an iix file
    RunThroughValue
    exports specified predicates of edb
    ShowRelation
    print out a relation
    StressTest
    stress test: 2 threads adding data, 2 threads deleting data, 4 threads querying
    You can play a bit with partitioning
    TripleGenerator