Code

Reliances#196

Code

Open

larry-gonzalez wants to merge 223 commits intomasterknowsys/rulewerk:masterfrom reliancesknowsys/rulewerk:reliancesCopy head branch name to clipboard

+4,422-126

Commits

Commits on May 20, 2020

• add new module to pom

  larry-gonzalez

  committed
  32943fb

  Copy full SHA for 32943fb

• Merge branch 'master' into positive-dependency

  larry-gonzalez

  committed
  a1f2fed

  Copy full SHA for a1f2fed

Commits on May 25, 2020

• Merge branch 'master' into positive-dependency

  larry-gonzalez

  committed
  3686677

  Copy full SHA for 3686677

Commits on May 27, 2020

• initial commit on reliances

  larry-gonzalez

  committed
  2331438

  Copy full SHA for 2331438

Commits on May 31, 2020

• use expressions instead of impl.

  larry-gonzalez

  committed
  4222348

  Copy full SHA for 4222348

• add instantiator class

  larry-gonzalez

  committed
  fea8672

  Copy full SHA for fea8672

Commits on Jul 21, 2020

• datasets

  larry-gonzalez

  committed
  ca40f06

  Copy full SHA for ca40f06

• first runable code

  larry-gonzalez

  committed
  563137a

  Copy full SHA for 563137a

Commits on Jul 29, 2020

• bug fix; add run experiments and kb transformer

  larry-gonzalez

  committed
  be8fa02

  Copy full SHA for be8fa02

Commits on Aug 21, 2020

• add graph class

  larry-gonzalez

  committed
  0b4b72d

  Copy full SHA for 0b4b72d

• add test03

  larry-gonzalez

  committed
  9e81b3d

  Copy full SHA for 9e81b3d

• debugging

  larry-gonzalez

  committed
  a00387c

  Copy full SHA for a00387c

• code for experiments

  larry-gonzalez

  committed
  639da92

  Copy full SHA for 639da92

• Merge branch 'master' into positive-dependency

  larry-gonzalez

  committed
  10ac8c1

  Copy full SHA for 10ac8c1

• add getLiteral methods

  larry-gonzalez

  committed
  f92fc2b

  Copy full SHA for f92fc2b

• add getLiterals methods to rule api

  larry-gonzalez

  committed
  96a8838

  Copy full SHA for 96a8838

• replace ArrayList with List

  larry-gonzalez

  committed
  e80d139

  Copy full SHA for e80d139

• delete unused imports

  larry-gonzalez

  committed
  b34179c

  Copy full SHA for b34179c

• rename methods

  larry-gonzalez

  committed
  829985b

  Copy full SHA for 829985b

• add missing condition; rename variables; update tests

  larry-gonzalez

  committed
  15cbc5d

  Copy full SHA for 15cbc5d

Commits on Aug 24, 2020

• d

  larry-gonzalez

  committed
  4205995

  Copy full SHA for 4205995

Commits on Aug 27, 2020

• add chain experiment

  larry-gonzalez

  committed
  c0af190

  Copy full SHA for c0af190

Commits on Sep 14, 2020

• merge master into positive-dependency; fix merge conflict

  larry-gonzalez

  committed
  c6c3704

  Copy full SHA for c6c3704

• fix merge conflict

  larry-gonzalez

  committed
  5679f1a

  Copy full SHA for 5679f1a

Commits on Sep 15, 2020

• fix pom version

  larry-gonzalez

  committed
  85dc2fd

  Copy full SHA for 85dc2fd

Commits on Sep 25, 2020

• Merge branch 'master' into positive-dependency

  larry-gonzalez

  committed
  59a8b9c

  Copy full SHA for 59a8b9c

Commits on Sep 29, 2020

• auoformating

  larry-gonzalez

  committed
  b0980df

  Copy full SHA for b0980df

• ordering input data files

  larry-gonzalez

  committed
  8afb6f7

  Copy full SHA for 8afb6f7

• ordering data

  larry-gonzalez

  committed
  3060907

  Copy full SHA for 3060907

• formating

  larry-gonzalez

  committed
  c346fa7

  Copy full SHA for c346fa7

• fix name error

  larry-gonzalez

  committed
  6f0be8f

  Copy full SHA for 6f0be8f

• ordering

  larry-gonzalez

  committed
  b1ed97a

  Copy full SHA for b1ed97a

• rename files

  larry-gonzalez

  committed
  4b68ade

  Copy full SHA for 4b68ade

• add import

  larry-gonzalez

  committed
  8207af1

  Copy full SHA for 8207af1

• Merge branch 'master' into reliances

  larry-gonzalez

  committed
  8f67434

  Copy full SHA for 8f67434

• add class

  larry-gonzalez

  committed
  dc8fec2

  Copy full SHA for dc8fec2

Commits on Oct 1, 2020

• Merge branch 'master' into reliances

  larry-gonzalez

  committed
  7195a3b

  Copy full SHA for 7195a3b

Commits on Nov 12, 2020

• add javadoc; rename parameter

  larry-gonzalez

  committed
  32eb217

  Copy full SHA for 32eb217

• add test for Restraint

  larry-gonzalez

  committed
  2146547

  Copy full SHA for 2146547

• use auto formatting; add TODO note

  larry-gonzalez

  committed
  70e3c53

  Copy full SHA for 70e3c53

• improve java doc

  larry-gonzalez

  committed
  5b08de6

  Copy full SHA for 5b08de6

Commits on Nov 25, 2020

• Merge branch 'master' of https://bitbucket.org/larryjgonzalez/rulewerk into reliances

  larry-gonzalez

  committed
  c837719

  Copy full SHA for c837719

• add tests

  larry-gonzalez

  committed
  ca399e5

  Copy full SHA for ca399e5

• Larry loves Sara Al Nassir

  larry-gonzalez

  committed
  927a7ac

  Copy full SHA for 927a7ac

• Merge branch 'reliances' of https://github.com/knowsys/rulewerk into reliances

  larry-gonzalez

  committed
  dfa2e04

  Copy full SHA for dfa2e04

Commits on Nov 26, 2020

• Merge branch 'reliances' of https://github.com/knowsys/rulewerk into reliances

  larry-gonzalez

  committed
  37d0945

  Copy full SHA for 37d0945

• add tests

  larry-gonzalez

  committed
  59e2c78

  Copy full SHA for 59e2c78

Commits on Dec 1, 2020

• rename function

  larry-gonzalez

  committed
  602d6f1

  Copy full SHA for 602d6f1

• rename Iterator class; use auto-indent

  larry-gonzalez

  committed
  5bb122b

  Copy full SHA for 5bb122b

• use utilities from Array to print containers

  larry-gonzalez

  committed
  ef86d38

  Copy full SHA for ef86d38

• remove import warning

  larry-gonzalez

  committed
  a5d6ae0

  Copy full SHA for a5d6ae0

• use better names

  larry-gonzalez

  committed
  d4a6752

  Copy full SHA for d4a6752

Commits on Dec 2, 2020

• use utility function to print array of ints

  larry-gonzalez

  committed
  18a934f

  Copy full SHA for 18a934f

• rename unifier class

  larry-gonzalez

  committed
  fd33e6c

  Copy full SHA for fd33e6c

• add Assignment class; rename some methods; better codding of iterators

  larry-gonzalez

  committed
  c03cc54

  Copy full SHA for c03cc54

• use better names

  larry-gonzalez

  committed
  fc76c6b

  Copy full SHA for fc76c6b

• create class Match; use Match class in Assignment

  larry-gonzalez

  committed
  c7f0d68

  Copy full SHA for c7f0d68

• add documentation; improve attribute names

  larry-gonzalez

  committed
  c1d387a

  Copy full SHA for c1d387a

• use better names

  larry-gonzalez

  committed
  eac6f78

  Copy full SHA for eac6f78

• improve martelli montanari unifier algorithm; use better names; split variableRenamer classes

  larry-gonzalez

  committed
  eaad1d7

  Copy full SHA for eaad1d7

• add option to rename only universal vars

  larry-gonzalez

  committed
  cfd673a

  Copy full SHA for cfd673a

• improve toString method

  larry-gonzalez

  committed
  096fb73

  Copy full SHA for 096fb73

• supress warning

  larry-gonzalez

  committed
  37ff605

  Copy full SHA for 37ff605

• improve toString method

  larry-gonzalez

  committed
  e09dd9e

  Copy full SHA for e09dd9e

• improve variable names

  larry-gonzalez

  committed
  7768bf9

  Copy full SHA for 7768bf9

• improve variable names

  larry-gonzalez

  committed
  0d6614a

  Copy full SHA for 0d6614a

• fix name error

  larry-gonzalez

  committed
  8007199

  Copy full SHA for 8007199

Commits on Dec 3, 2020

• add javadoc

  larry-gonzalez

  committed
  eb5763a

  Copy full SHA for eb5763a

• simplification of the unifier algorithm;

  larry-gonzalez

  committed
  5532243

  Copy full SHA for 5532243

• simplification of new variable names

  larry-gonzalez

  committed
  6d4af0d

  Copy full SHA for 6d4af0d

• improve names

  larry-gonzalez

  committed
  d582779

  Copy full SHA for d582779

• use new method name

  larry-gonzalez

  committed
  739693c

  Copy full SHA for 739693c

• add simple implementation of a BCQ

  larry-gonzalez

  committed
  e6dec7b

  Copy full SHA for e6dec7b

• add class to compute self restraining relation

  larry-gonzalez

  committed
  e15f0a0

  Copy full SHA for e15f0a0

• add method for SBCQ

  larry-gonzalez

  committed
  1e4923d

  Copy full SHA for 1e4923d

• remove duplicated tests; fix test errors; use better names

  larry-gonzalez

  committed
  c242f45

  Copy full SHA for c242f45

• comment printlns

  larry-gonzalez

  committed
  94cd016

  Copy full SHA for 94cd016

• add implementation of restraint relation

  larry-gonzalez

  committed
  ac3a508

  Copy full SHA for ac3a508

• add license headers

  larry-gonzalez

  committed
  6a77f19

  Copy full SHA for 6a77f19

Commits on Dec 4, 2020

• use autoformatting

  larry-gonzalez

  committed
  9337f44

  Copy full SHA for 9337f44

• ordering; add javadoc

  larry-gonzalez

  committed
  bd1a647

  Copy full SHA for bd1a647

• use {@code splitter} instead of string

  larry-gonzalez

  committed
  a12c798

  Copy full SHA for a12c798

• add missing case; comment two failing tests; fix test

  larry-gonzalez

  committed
  4aaba10

  Copy full SHA for 4aaba10

• add missing functionality

  larry-gonzalez

  committed
  160b266

  Copy full SHA for 160b266

• cleanning code

  larry-gonzalez

  committed
  1a44164

  Copy full SHA for 1a44164

• use autoformating

  larry-gonzalez

  committed
  b9e1a5a

  Copy full SHA for b9e1a5a

• use autoformating

  larry-gonzalez

  committed
  8fb5992

  Copy full SHA for 8fb5992

• add class Piece to core; add new module rulewerk-utils

  larry-gonzalez

  committed
  83b00db

  Copy full SHA for 83b00db

• remove module rulewerk-utils; create package inside core with its functionality

  larry-gonzalez

  committed
  55b824e

  Copy full SHA for 55b824e

• improve {@code RuleImplTest}

  larry-gonzalez

  committed
  f43f41a

  Copy full SHA for f43f41a

• add single test for getPieces

  larry-gonzalez

  committed
  6d1c658

  Copy full SHA for 6d1c658

• remove print; add test

  larry-gonzalez

  committed
  c114258

  Copy full SHA for c114258

• getPieces return set of pieces instead of list

  larry-gonzalez

  committed
  25c432a

  Copy full SHA for 25c432a

• bug fix: reachable nodes include starting node

  larry-gonzalez

  committed
  142219a

  Copy full SHA for 142219a

• add tests

  larry-gonzalez

  committed
  4cea656

  Copy full SHA for 4cea656

• remove print

  larry-gonzalez

  committed
  4749ac5

  Copy full SHA for 4749ac5

• remove print

  larry-gonzalez

  committed
  18f6806

  Copy full SHA for 18f6806

Commits on Dec 7, 2020

• merge pieces into reliances

  larry-gonzalez

  committed
  3b03c01

  Copy full SHA for 3b03c01

• add SelfRestraintTest

  larry-gonzalez

  committed
  d7a2b0e

  Copy full SHA for d7a2b0e

• fixing merge

  larry-gonzalez

  committed
  7f6575d

  Copy full SHA for 7f6575d

• add initial cases

  larry-gonzalez

  committed
  ef55f5f

  Copy full SHA for ef55f5f

• implement code for detecting unconnected pieces

  larry-gonzalez

  committed
  48bceb3

  Copy full SHA for 48bceb3

• Merge branch 'pieces' into reliances

  larry-gonzalez

  committed
  771d0b1

  Copy full SHA for 771d0b1

• add initial case; drop prints; add TODOs

  larry-gonzalez

  committed
  f3a288c

  Copy full SHA for f3a288c

• bug fix: condition for datalog rule; remove prints; add TODOs

  larry-gonzalez

  committed
  885abff

  Copy full SHA for 885abff

• ordering tests

  larry-gonzalez

  committed
  964edbd

  Copy full SHA for 964edbd

• code implementation for rule restraining relation

  larry-gonzalez

  committed
  ba326a3

  Copy full SHA for ba326a3

• add TODO

  larry-gonzalez

  committed
  85b74de

  Copy full SHA for 85b74de

• refactoring

  larry-gonzalez

  committed
  d62a47c

  Copy full SHA for d62a47c

• add new constructor

  larry-gonzalez

  committed
  035a1b1

  Copy full SHA for 035a1b1

• add new filter

  larry-gonzalez

  committed
  2187d36

  Copy full SHA for 2187d36

• refactoring

  larry-gonzalez

  committed
  77050e2

  Copy full SHA for 77050e2

• remove print

  larry-gonzalez

  committed
  059e7b4

  Copy full SHA for 059e7b4

• add tests; fix test error

  larry-gonzalez

  committed
  0f84e6e

  Copy full SHA for 0f84e6e

• add new functional code

  larry-gonzalez

  committed
  abcdb54

  Copy full SHA for abcdb54

• add helper class

  larry-gonzalez

  committed
  4ecd58b

  Copy full SHA for 4ecd58b

• fix test

  larry-gonzalez

  committed
  4885330

  Copy full SHA for 4885330

• add licence header

  larry-gonzalez

  committed
  40c391f

  Copy full SHA for 40c391f

• add licence header

  larry-gonzalez

  committed
  39dc238

  Copy full SHA for 39dc238

• add licence header

  larry-gonzalez

  committed
  48bb1d6

  Copy full SHA for 48bb1d6

• move code for experiments into another branch

  larry-gonzalez

  committed
  e2d20a0

  Copy full SHA for e2d20a0

• code refactoring

  larry-gonzalez

  committed
  d11e1d7

  Copy full SHA for d11e1d7

• add rulewerk-reliances dependency into coverage module

  larry-gonzalez

  committed
  6b234b1

  Copy full SHA for 6b234b1

• spacing

  larry-gonzalez

  committed
  1574d5d

  Copy full SHA for 1574d5d

• rename tests

  larry-gonzalez

  committed
  71de944

  Copy full SHA for 71de944

• implement order preserving in getPieces; use collector functionality

  larry-gonzalez

  committed
  2b96f18

  Copy full SHA for 2b96f18

• fix spacing

  larry-gonzalez

  committed
  1f11bfc

  Copy full SHA for 1f11bfc

• Merge branch 'pieces' into reliances

  larry-gonzalez

  committed
  f876465

  Copy full SHA for f876465

• code factoring

  larry-gonzalez

  committed
  0ed0131

  Copy full SHA for 0ed0131

• delete unused method; code simplification

  larry-gonzalez

  committed
  40ab552

  Copy full SHA for 40ab552

Commits on Dec 8, 2020

• code factorization

  larry-gonzalez

  committed
  3ace853

  Copy full SHA for 3ace853

• remove comments

  larry-gonzalez

  committed
  21425ca

  Copy full SHA for 21425ca

• add javadoc; use better name

  larry-gonzalez

  committed
  3aca822

  Copy full SHA for 3aca822

• return all subsets in SubsetIterator

  larry-gonzalez

  committed
  624185e

  Copy full SHA for 624185e

• fix typo

  larry-gonzalez

  committed
  a528169

  Copy full SHA for a528169

• add hashCode and equals to Assignment and Match

  larry-gonzalez

  committed
  24c4e57

  Copy full SHA for 24c4e57

• improve conditions; remove duplicated code; add test

  larry-gonzalez

  committed
  5222a24

  Copy full SHA for 5222a24

• uncomment test

  larry-gonzalez

  committed
  1a7137a

  Copy full SHA for 1a7137a

• clean comments

  larry-gonzalez

  committed
  d20a708

  Copy full SHA for d20a708

• add test

  larry-gonzalez

  committed
  5244a44

  Copy full SHA for 5244a44

• refactoring

  larry-gonzalez

  committed
  67d0999

  Copy full SHA for 67d0999

• add tests

  larry-gonzalez

  committed
  0cf55a3

  Copy full SHA for 0cf55a3

• code simplification

  larry-gonzalez

  committed
  f2d6f6d

  Copy full SHA for f2d6f6d

• code simplification

  larry-gonzalez

  committed
  6a2a5f5

  Copy full SHA for 6a2a5f5

• delete unused imports

  larry-gonzalez

  committed
  acd160f

  Copy full SHA for acd160f

• fix spacing

  larry-gonzalez

  committed
  0f2f65c

  Copy full SHA for 0f2f65c

• add tests

  larry-gonzalez

  committed
  a14701d

  Copy full SHA for a14701d

• delete dead code

  larry-gonzalez

  committed
  a034b4e

  Copy full SHA for a034b4e

• add missing cases

  larry-gonzalez

  committed
  fa319ac

  Copy full SHA for fa319ac

• add doc

  larry-gonzalez

  committed
  df0897d

  Copy full SHA for df0897d

• add documentation; add tests; code simplification

  larry-gonzalez

  committed
  a85b62e

  Copy full SHA for a85b62e

Commits on Dec 14, 2020

• improve sufix renaming; bug fix: remove condition on unconnected pieces

  larry-gonzalez

  committed
  358b721

  Copy full SHA for 358b721

• add two more tests

  larry-gonzalez

  committed
  612733b

  Copy full SHA for 612733b

• code simplification

  larry-gonzalez

  committed
  434dab1

  Copy full SHA for 434dab1

• add missing test; restore code

  larry-gonzalez

  committed
  c3c4784

  Copy full SHA for c3c4784

• rename test

  larry-gonzalez

  committed
  e9c7b2f

  Copy full SHA for e9c7b2f

• add optimization condition

  larry-gonzalez

  committed
  b46e849

  Copy full SHA for b46e849

• add optimization condition

  larry-gonzalez

  committed
  e077272

  Copy full SHA for e077272

Commits on Jan 5, 2021

• use streams; add javadoc

  larry-gonzalez

  committed
  eac8070

  Copy full SHA for eac8070

Commits on Jan 7, 2021

• use better names; add auxiliary methods; improve code quality

  larry-gonzalez

  committed
  a088d16

  Copy full SHA for a088d16

Commits on Jan 12, 2021

• improve order and comments; clean code; use better names

  larry-gonzalez

  committed
  307c9b6

  Copy full SHA for 307c9b6

Commits on Jan 19, 2021

• rename files

  larry-gonzalez

  committed
  709cf46

  Copy full SHA for 709cf46

• work on the math package; organize classes and code; use better names

  larry-gonzalez

  committed
  aacf071

  Copy full SHA for aacf071

• add empty classes for testing the math package

  larry-gonzalez

  committed
  9e9931e

  Copy full SHA for 9e9931e

• ordering files

  larry-gonzalez

  committed
  9487967

  Copy full SHA for 9487967

• package ordering; use better names

  larry-gonzalez

  committed
  6c8952a

  Copy full SHA for 6c8952a

• package ordering; use better names;

  larry-gonzalez

  committed
  50a9d1f

  Copy full SHA for 50a9d1f

• delete old file

  larry-gonzalez

  committed
  d4874a6

  Copy full SHA for d4874a6

• classes and code ordering; use better names

  larry-gonzalez

  committed
  ffe5095

  Copy full SHA for ffe5095

• remove file from tracked files

  larry-gonzalez

  committed
  cba40e6

  Copy full SHA for cba40e6

• add test

  larry-gonzalez

  committed
  5c51f2b

  Copy full SHA for 5c51f2b

Commits on Jan 29, 2021

• rename test files

  larry-gonzalez

  committed
  480d816

  Copy full SHA for 480d816

• return PositiveLiteral instead of Literal in Rule.getPositiveBodyLiterals; add missing Override

  larry-gonzalez

  committed
  b4d8a1c

  Copy full SHA for b4d8a1c

Commits on Feb 23, 2021

• re-implementation of PartialMapping classes

  larry-gonzalez

  committed
  3471ad3

  Copy full SHA for 3471ad3

Commits on Feb 25, 2021

• throw ParseException when the same variable name is used in a single Literal as Universal and Existential variable; use interphase Set instead of Implementation HashSet when declaring Sets; add tes…

  Show description for 2f59f25
  larry-gonzalez

  committed
  2f59f25

  Copy full SHA for 2f59f25

• add default methods isExistentialVariable and isUniversalVariable

  larry-gonzalez

  committed
  c6e6c00

  Copy full SHA for c6e6c00

Commits on Feb 26, 2021

• improve names; ordering; add todo; add one test

  larry-gonzalez

  committed
  9119830

  Copy full SHA for 9119830

• create empty class; add todo

  larry-gonzalez

  committed
  3017a39

  Copy full SHA for 3017a39

Commits on Mar 1, 2021

• ordering

  larry-gonzalez

  committed
  92a04c1

  Copy full SHA for 92a04c1

• create Unifier interface

  larry-gonzalez

  committed
  778fa53

  Copy full SHA for 778fa53

• delete UnifierBasedVariableRenamer class. Use Substitution class instead

  larry-gonzalez

  committed
  99481ac

  Copy full SHA for 99481ac

• create Substitution class; create empty SubstitutionTest class

  larry-gonzalez

  committed
  aaf1479

  Copy full SHA for aaf1479

• add todo

  larry-gonzalez

  committed
  e842a7c

  Copy full SHA for e842a7c

• improve ordering; delete depreceted method; update tests

  larry-gonzalez

  committed
  28d48e9

  Copy full SHA for 28d48e9

• remove unused validators

  larry-gonzalez

  committed
  0a3c7c3

  Copy full SHA for 0a3c7c3

Commits on Mar 2, 2021

• add missing condition for negated literals

  larry-gonzalez

  committed
  bfcde2a

  Copy full SHA for bfcde2a

• create RespectingUnifier class and RespectingUnifierTest

  larry-gonzalez

  committed
  9a09af6

  Copy full SHA for 9a09af6

Commits on Mar 3, 2021

• extend methods

  larry-gonzalez

  committed
  ba2e772

  Copy full SHA for ba2e772

• add TODOs; improve names; improve code quality

  larry-gonzalez

  committed
  f9786e9

  Copy full SHA for f9786e9

• fix imports

  larry-gonzalez

  committed
  02d5462

  Copy full SHA for 02d5462

• add licenses

  larry-gonzalez

  committed
  816b397

  Copy full SHA for 816b397

• add license; change class name

  larry-gonzalez

  committed
  ab65a6b

  Copy full SHA for ab65a6b

• use Validate instead of assert

  larry-gonzalez

  committed
  6bff75e

  Copy full SHA for 6bff75e

• make class public

  larry-gonzalez

  committed
  b76a8f3

  Copy full SHA for b76a8f3

• make class public

  larry-gonzalez

  committed
  e8aeea8

  Copy full SHA for e8aeea8

• add empty class

  larry-gonzalez

  committed
  a0c28ae

  Copy full SHA for a0c28ae

• add tests; improve code

  larry-gonzalez

  committed
  11a1de3

  Copy full SHA for 11a1de3

• update code; improve names, todos

  larry-gonzalez

  committed
  7ff35fe

  Copy full SHA for 7ff35fe

• improve comments

  larry-gonzalez

  committed
  abf7c35

  Copy full SHA for abf7c35

• add tests for RuleUtil.isRuleApplicable

  larry-gonzalez

  committed
  67fc952

  Copy full SHA for 67fc952

• add todos

  larry-gonzalez

  committed
  7016ce8

  Copy full SHA for 7016ce8

• extend MartelliMontanariUnifier

  larry-gonzalez

  committed
  fe71ad9

  Copy full SHA for fe71ad9

• extend constructor

  larry-gonzalez

  committed
  0478c18

  Copy full SHA for 0478c18

Commits on Mar 4, 2021

• drop old commented code

  larry-gonzalez

  committed
  0aab3d3

  Copy full SHA for 0aab3d3

• do not replace universals with existentials in substitution

  larry-gonzalez

  committed
  ecd58c9

  Copy full SHA for ecd58c9

• update TODOs; ordering code

  larry-gonzalez

  committed
  120b3fc

  Copy full SHA for 120b3fc

• working reliance code

  larry-gonzalez

  committed
  59cc58d

  Copy full SHA for 59cc58d

• add missing condition; update code

  larry-gonzalez

  committed
  31d3a73

  Copy full SHA for 31d3a73

• improve methods

  larry-gonzalez

  committed
  66b3362

  Copy full SHA for 66b3362

• add todo

  larry-gonzalez

  committed
  81ffb54

  Copy full SHA for 81ffb54

• add tests

  larry-gonzalez

  committed
  7c8f3a3

  Copy full SHA for 7c8f3a3

Commits on Apr 29, 2021

• add Term.isNull() default method

  larry-gonzalez

  committed
  490f845

  Copy full SHA for 490f845

Commits on May 27, 2021

• delete mapping class files, respectingunifier class files; rename BCQ to BCQA

  larry-gonzalez

  committed
  cc1759b

  Copy full SHA for cc1759b

• delete respecting unifier test class

  larry-gonzalez

  committed
  c9992ed

  Copy full SHA for c9992ed

• add slf4j-log4j12 dependency in rulewerk-reliance; delete rulewerk-owlapi dependency in rulewerk-reliance

  larry-gonzalez

  committed
  490ee97

  Copy full SHA for 490ee97

• improve unification and substitution code

  larry-gonzalez

  committed
  7babe82

  Copy full SHA for 7babe82

• add recursive implementation for positive reliance

  larry-gonzalez

  committed
  856b720

  Copy full SHA for 856b720

• delete unused file

  larry-gonzalez

  committed
  a83ed85

  Copy full SHA for a83ed85

• improve code on RuleUtils

  larry-gonzalez

  committed
  f4ddbbf

  Copy full SHA for f4ddbbf

• add tests

  larry-gonzalez

  committed
  2e17185

  Copy full SHA for 2e17185

• ordering code

  larry-gonzalez

  committed
  3fae9db

  Copy full SHA for 3fae9db

• rename file

  larry-gonzalez

  committed
  f083ee3

  Copy full SHA for f083ee3

• add Transform class

  larry-gonzalez

  committed
  a21fed5

  Copy full SHA for a21fed5