trait BasicConnectivesTrait

Example usage.

class Logic
{
     use BasicConnectivesTrait;

     public function __construct()
     {
         $this->basicConnectives = $this->makeBasicConnectives();
         // ...
     }
}

Methods

Details

at line 58
protected array makeBasicConnectives()

Return Value

array