logica 0.0.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (27) hide show
  1. checksums.yaml +7 -0
  2. data/.gitignore +50 -0
  3. data/.travis.yml +9 -0
  4. data/CHANGELOG.md +14 -0
  5. data/CODE_OF_CONDUCT.md +74 -0
  6. data/Gemfile +4 -0
  7. data/LICENSE.txt +21 -0
  8. data/README.md +91 -0
  9. data/Rakefile +17 -0
  10. data/bin/console +14 -0
  11. data/bin/setup +6 -0
  12. data/lib/logica/comparable_by_state.rb +24 -0
  13. data/lib/logica/predicate_factory.rb +111 -0
  14. data/lib/logica/predicates/ad_hoc.rb +16 -0
  15. data/lib/logica/predicates/base.rb +210 -0
  16. data/lib/logica/predicates/compounds/at_least.rb +90 -0
  17. data/lib/logica/predicates/compounds/base.rb +134 -0
  18. data/lib/logica/predicates/compounds/conjunction.rb +75 -0
  19. data/lib/logica/predicates/compounds/disjunction.rb +79 -0
  20. data/lib/logica/predicates/contradiction.rb +25 -0
  21. data/lib/logica/predicates/negation.rb +45 -0
  22. data/lib/logica/predicates/partial_application.rb +30 -0
  23. data/lib/logica/predicates/tautology.rb +29 -0
  24. data/lib/logica/version.rb +3 -0
  25. data/lib/logica.rb +25 -0
  26. data/logica.gemspec +38 -0
  27. metadata +197 -0
metadata ADDED
@@ -0,0 +1,197 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: logica
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.0.1
5
+ platform: ruby
6
+ authors:
7
+ - Eugenio Bruno
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2017-06-20 00:00:00.000000000 Z
12
+ dependencies:
13
+ - !ruby/object:Gem::Dependency
14
+ name: openhouse
15
+ requirement: !ruby/object:Gem::Requirement
16
+ requirements:
17
+ - - "~>"
18
+ - !ruby/object:Gem::Version
19
+ version: '0.0'
20
+ - - ">="
21
+ - !ruby/object:Gem::Version
22
+ version: 0.0.2
23
+ type: :runtime
24
+ prerelease: false
25
+ version_requirements: !ruby/object:Gem::Requirement
26
+ requirements:
27
+ - - "~>"
28
+ - !ruby/object:Gem::Version
29
+ version: '0.0'
30
+ - - ">="
31
+ - !ruby/object:Gem::Version
32
+ version: 0.0.2
33
+ - !ruby/object:Gem::Dependency
34
+ name: bundler
35
+ requirement: !ruby/object:Gem::Requirement
36
+ requirements:
37
+ - - "~>"
38
+ - !ruby/object:Gem::Version
39
+ version: '1.15'
40
+ type: :development
41
+ prerelease: false
42
+ version_requirements: !ruby/object:Gem::Requirement
43
+ requirements:
44
+ - - "~>"
45
+ - !ruby/object:Gem::Version
46
+ version: '1.15'
47
+ - !ruby/object:Gem::Dependency
48
+ name: rake
49
+ requirement: !ruby/object:Gem::Requirement
50
+ requirements:
51
+ - - "~>"
52
+ - !ruby/object:Gem::Version
53
+ version: '10.0'
54
+ type: :development
55
+ prerelease: false
56
+ version_requirements: !ruby/object:Gem::Requirement
57
+ requirements:
58
+ - - "~>"
59
+ - !ruby/object:Gem::Version
60
+ version: '10.0'
61
+ - !ruby/object:Gem::Dependency
62
+ name: minitest
63
+ requirement: !ruby/object:Gem::Requirement
64
+ requirements:
65
+ - - "~>"
66
+ - !ruby/object:Gem::Version
67
+ version: '5.0'
68
+ type: :development
69
+ prerelease: false
70
+ version_requirements: !ruby/object:Gem::Requirement
71
+ requirements:
72
+ - - "~>"
73
+ - !ruby/object:Gem::Version
74
+ version: '5.0'
75
+ - !ruby/object:Gem::Dependency
76
+ name: minitest-bender
77
+ requirement: !ruby/object:Gem::Requirement
78
+ requirements:
79
+ - - "~>"
80
+ - !ruby/object:Gem::Version
81
+ version: '0.0'
82
+ - - ">="
83
+ - !ruby/object:Gem::Version
84
+ version: 0.0.2
85
+ type: :development
86
+ prerelease: false
87
+ version_requirements: !ruby/object:Gem::Requirement
88
+ requirements:
89
+ - - "~>"
90
+ - !ruby/object:Gem::Version
91
+ version: '0.0'
92
+ - - ">="
93
+ - !ruby/object:Gem::Version
94
+ version: 0.0.2
95
+ - !ruby/object:Gem::Dependency
96
+ name: simplecov
97
+ requirement: !ruby/object:Gem::Requirement
98
+ requirements:
99
+ - - "~>"
100
+ - !ruby/object:Gem::Version
101
+ version: '0.14'
102
+ type: :development
103
+ prerelease: false
104
+ version_requirements: !ruby/object:Gem::Requirement
105
+ requirements:
106
+ - - "~>"
107
+ - !ruby/object:Gem::Version
108
+ version: '0.14'
109
+ - !ruby/object:Gem::Dependency
110
+ name: coveralls
111
+ requirement: !ruby/object:Gem::Requirement
112
+ requirements:
113
+ - - "~>"
114
+ - !ruby/object:Gem::Version
115
+ version: '0.8'
116
+ type: :development
117
+ prerelease: false
118
+ version_requirements: !ruby/object:Gem::Requirement
119
+ requirements:
120
+ - - "~>"
121
+ - !ruby/object:Gem::Version
122
+ version: '0.8'
123
+ - !ruby/object:Gem::Dependency
124
+ name: pry-byebug
125
+ requirement: !ruby/object:Gem::Requirement
126
+ requirements:
127
+ - - "~>"
128
+ - !ruby/object:Gem::Version
129
+ version: '3.4'
130
+ type: :development
131
+ prerelease: false
132
+ version_requirements: !ruby/object:Gem::Requirement
133
+ requirements:
134
+ - - "~>"
135
+ - !ruby/object:Gem::Version
136
+ version: '3.4'
137
+ description:
138
+ email:
139
+ - eugeniobruno@gmail.com
140
+ executables: []
141
+ extensions: []
142
+ extra_rdoc_files:
143
+ - LICENSE.txt
144
+ - README.md
145
+ - CODE_OF_CONDUCT.md
146
+ - CHANGELOG.md
147
+ files:
148
+ - ".gitignore"
149
+ - ".travis.yml"
150
+ - CHANGELOG.md
151
+ - CODE_OF_CONDUCT.md
152
+ - Gemfile
153
+ - LICENSE.txt
154
+ - README.md
155
+ - Rakefile
156
+ - bin/console
157
+ - bin/setup
158
+ - lib/logica.rb
159
+ - lib/logica/comparable_by_state.rb
160
+ - lib/logica/predicate_factory.rb
161
+ - lib/logica/predicates/ad_hoc.rb
162
+ - lib/logica/predicates/base.rb
163
+ - lib/logica/predicates/compounds/at_least.rb
164
+ - lib/logica/predicates/compounds/base.rb
165
+ - lib/logica/predicates/compounds/conjunction.rb
166
+ - lib/logica/predicates/compounds/disjunction.rb
167
+ - lib/logica/predicates/contradiction.rb
168
+ - lib/logica/predicates/negation.rb
169
+ - lib/logica/predicates/partial_application.rb
170
+ - lib/logica/predicates/tautology.rb
171
+ - lib/logica/version.rb
172
+ - logica.gemspec
173
+ homepage: https://github.com/eugeniobruno/logica
174
+ licenses:
175
+ - MIT
176
+ metadata: {}
177
+ post_install_message:
178
+ rdoc_options: []
179
+ require_paths:
180
+ - lib
181
+ required_ruby_version: !ruby/object:Gem::Requirement
182
+ requirements:
183
+ - - ">="
184
+ - !ruby/object:Gem::Version
185
+ version: 2.0.0
186
+ required_rubygems_version: !ruby/object:Gem::Requirement
187
+ requirements:
188
+ - - ">="
189
+ - !ruby/object:Gem::Version
190
+ version: '0'
191
+ requirements: []
192
+ rubyforge_project:
193
+ rubygems_version: 2.5.1
194
+ signing_key:
195
+ specification_version: 4
196
+ summary: Logica is a framework to reify and work with predicates.
197
+ test_files: []