Yeah, proposition/variable operand types are kind of weird.

bobthecow · bobthecow · commit 635b509b74c4 · 2022-06-26T22:16:04.000-04:00
diff --git a/src/Operator.php b/src/Operator.php
@@ -23,7 +23,7 @@ abstract class Operator
     protected $operands = [];
 
     /**
-     * @param array $operands
+     * @param Proposition|VariableOperand ...$operands
      */
     public function __construct(...$operands)
     {
@@ -55,7 +55,10 @@ public function getOperands(): array
         return $this->operands;
     }
 
-    abstract public function addOperand($operand);
+    /**
+     * @param Proposition|VariableOperand $operand
+     */
+    abstract public function addOperand($operand): void;
 
     abstract protected function getOperandCardinality();
 }
diff --git a/src/Operator/PropositionOperator.php b/src/Operator/PropositionOperator.php
@@ -19,6 +19,9 @@
  */
 abstract class PropositionOperator extends BaseOperator
 {
+    /**
+     * @param Proposition $operand
+     */
     public function addOperand($operand): void
     {
         $this->addProposition($operand);
diff --git a/src/Operator/VariableOperator.php b/src/Operator/VariableOperator.php
@@ -19,6 +19,9 @@
  */
 abstract class VariableOperator extends BaseOperator
 {
+    /**
+     * @param VariableOperand $operand
+     */
     public function addOperand($operand): void
     {
         $this->addVariable($operand);

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ abstract class Operator`
`23`	`23`	`protected $operands = [];`
`24`	`24`
`25`	`25`	`/**`
`26`		`- * @param array $operands`
	`26`	`+ * @param Proposition\|VariableOperand ...$operands`
`27`	`27`	`*/`
`28`	`28`	`public function __construct(...$operands)`
`29`	`29`	`{`
`@@ -55,7 +55,10 @@ public function getOperands(): array`
`55`	`55`	`return $this->operands;`
`56`	`56`	`}`
`57`	`57`
`58`		`- abstract public function addOperand($operand);`
	`58`	`+ /**`
	`59`	`+ * @param Proposition\|VariableOperand $operand`
	`60`	`+ */`
	`61`	`+ abstract public function addOperand($operand): void;`
`59`	`62`
`60`	`63`	`abstract protected function getOperandCardinality();`
`61`	`64`	`}`
Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,9 @@`
`19`	`19`	`*/`
`20`	`20`	`abstract class PropositionOperator extends BaseOperator`
`21`	`21`	`{`
	`22`	`+ /**`
	`23`	`+ * @param Proposition $operand`
	`24`	`+ */`
`22`	`25`	`public function addOperand($operand): void`
`23`	`26`	`{`
`24`	`27`	`$this->addProposition($operand);`