Search  

---

C:/temp/src/j2k/etc/ai/clause.hpp

Go to the documentation of this file.

#ifndef __J2K__CLAUSE_HPP__
#define __J2K__CLAUSE_HPP__

#include <j2k/Fred/Standard.hpp>

enum status_t
{
  C_undefined = 0,
  C_false     = 1,
  C_true      = 2,
  C_nil       = 3,
  C_invalid   = 4
};

struct logic_t
{
    char variables[26]; // ~P v Q v A  => P,Q,A  (for the loop)
    int  nbVariables;

    char  negated[26];   // negated[ 'P' - 'A' ] = 1  ~P
    char letters[26];    // letters[ 'P' - 'A' ] = 1
};

struct clause_t
{
    int clause;
    int depth;
    int parents[2];
    int length;
 
    logic_t  logic;   

    status_t status;

    size_t len;
    char  string[ 160 ];
};

class Clause
{
  private:
   clause_t data;

  public:
    Clause(); 
    Clause( const char* str0 );
    virtual ~Clause();

    Clause( clause_t src );
    const Clause& operator=( const Clause& src );

    Clause( const Clause& src );
    const Clause& Clause::operator=( clause_t src );

    void print(); 
    void assign( const char* str0 ); 
    void decompose();  
    void compose();
    clause_t compare( const Clause& src );
};

#endif

---