Commit 3c6aa1a5 authored by Andreas Bigger's avatar Andreas Bigger

Since Position is embedded in the Claim, we can directly Attack() and Defend() on the Claim itself.

parent 5d38cf25
...@@ -58,7 +58,7 @@ func (s *Solver) doNothing() (*Response, error) { ...@@ -58,7 +58,7 @@ func (s *Solver) doNothing() (*Response, error) {
// attack returns a response that attacks the claim. // attack returns a response that attacks the claim.
func (s *Solver) attack(claim Claim) (*Response, error) { func (s *Solver) attack(claim Claim) (*Response, error) {
value, err := s.traceAtPosition(claim.Position.Attack()) value, err := s.traceAtPosition(claim.Attack())
if err != nil { if err != nil {
return nil, err return nil, err
} }
...@@ -67,7 +67,7 @@ func (s *Solver) attack(claim Claim) (*Response, error) { ...@@ -67,7 +67,7 @@ func (s *Solver) attack(claim Claim) (*Response, error) {
// defend returns a response that defends the claim. // defend returns a response that defends the claim.
func (s *Solver) defend(claim Claim) (*Response, error) { func (s *Solver) defend(claim Claim) (*Response, error) {
value, err := s.traceAtPosition(claim.Position.Defend()) value, err := s.traceAtPosition(claim.Defend())
if err != nil { if err != nil {
return nil, err return nil, err
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment