DGNum/demarches-normaliennes
13
1
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity

feat(logic): operators sources

Browse source
This commit is contained in:
Colin Darie 2023-01-04 11:10:10 +01:00
parent 0df7090eaa
commit 81f00774af
10 changed files with 48 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
app/models/logic/n_ary_operator.rb
View file

@ -5,6 +5,10 @@ class Logic::NAryOperator < Logic::Term
@operands = operands
end
def sources
@operands.flat_map(&:sources)
end
def to_h
{
"term" => self.class.name,