Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feature/improved boolean expr transformation #145

Open
wants to merge 17 commits into
base: master
Choose a base branch
from
Open

Feature/improved boolean expr transformation #145

wants to merge 17 commits into from

Commits on Apr 12, 2024

  1. - highlighted parts that have to change for the new feature with TODOs 

    - Fixed wrong nomenclature (DISJUNCTION vs. CONJUNCTION)
- Removed impossible cases from BooleanExpression Transformer
-- A root expression of a constraint may never be anything other than a relational expression, an attribute expression returning a boolean value or a boolean literal value. Exceptions to this are only allowed within Boolean expressions of Stream/Filter-Operations.
    @arg0n1s
    arg0n1s committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    7bb3d73 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. added comments

    @arg0n1s
    arg0n1s committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    34a4b92 View commit details
    Browse the repository at this point in the history

  2. - Started with the new transformation for individual negated and non-… 

    …negated relational Expressions

- TODO: Finish normalizer function
    @arg0n1s
    arg0n1s committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    aa18360 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. finished the relational operator transformation for individual non-ne… 

    …gated relational expressions.
    @arg0n1s
    arg0n1s committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    e941c84 View commit details
    Browse the repository at this point in the history

  2. - refactored the the transformation for disjoint relational expressions 

    - added new function (incomplete) the normalizes the relational operator and inserts a symbolic variable reflecting the outcome of the relational expression
- TODO: Finish function
    @arg0n1s
    arg0n1s committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    fb6329e View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. finished implementing the new transformation of arbitrary Boolean exp… 

    …ressions
    @arg0n1s
    arg0n1s committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    9ae137c View commit details
    Browse the repository at this point in the history

  2. - fixed several compile / runtime errors that occurred after implemen… 

    …ting the new transformation method.

- NOTE: This does not mean that the current state is error free! Needs testing using the current test suite.
    @arg0n1s
    arg0n1s committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    436d844 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. added a safety margin for natural integer and real variable bounds

    @arg0n1s
    arg0n1s committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    65902d3 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Merge branch 'master' into feature/improved_BooleanExpr_transformation

    @arg0n1s
    arg0n1s committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    92f6b22 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Merge branch 'master' into feature/improved_BooleanExpr_transformation

    @maxkratz
    maxkratz committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    59ec7fb View commit details
    Browse the repository at this point in the history

  2. Adds helper variables to constraint's helper variable index

    @maxkratz
    maxkratz committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    7006d8f View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Merge branch 'master' into feature/improved_BooleanExpr_transformation

    @maxkratz
    maxkratz committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    a5b9067 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. First draft of the fixed transformation for f(x) == c <=> s

    @maxkratz
    maxkratz committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    cb53545 View commit details
    Browse the repository at this point in the history

  2. Draft: GLPK + CPLEX: if a variable with the same name exists, do nothing

    @maxkratz
    maxkratz committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    c45efb1 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Merge branch 'master' into feature/improved_BooleanExpr_transformation

    @maxkratz
    maxkratz committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    f4ac558 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Merge branch 'master' into feature/improved_BooleanExpr_transformation

    @maxkratz
    maxkratz committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    48ce6f4 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Merge branch 'master' into feature/improved_BooleanExpr_transformation

    @maxkratz
    maxkratz committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    9fe7b27 View commit details
    Browse the repository at this point in the history