Search  

---

Clause Class Reference

#include <clause.hpp>

List of all members.

Public Methods
	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)
Private Attributes
clause_t	data

---

Constructor & Destructor Documentation

Clause::Clause (    )

Definition at line 6 of file clause.cpp. { memset( &data, 0, sizeof( clause_t ) ); }

Clause::Clause (  const char *    str0 )

Definition at line 33 of file clause.cpp. { // Clear clause buffer memset( &data, 0, sizeof( clause_t ) ); assign( str0 ); decompose(); }

Clause::~Clause (    )  [virtual]

Definition at line 63 of file clause.cpp. { }

Clause::Clause (  clause_t    src )

Definition at line 11 of file clause.cpp. { memcpy( &data, &src, sizeof( clause_t ) ); }

Clause::Clause (  const Clause &    src )

Definition at line 16 of file clause.cpp. { memcpy( &data, &src.data, sizeof( clause_t ) ); }

---

Member Function Documentation

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

void Clause::assign (  const char *    str0 )

Definition at line 50 of file clause.cpp. Referenced by Clause(), and compose(). { if ( str0 == NULL ) { memset( &data.string, 0, 160 ); data.len = 1; } data.len = strlen( str0 ); memset( &data.string, 0, 160 ); memcpy( &data.string, str0, data.len ); }

clause_t Clause::compare (  const Clause &    src )

Definition at line 176 of file clause.cpp. Referenced by main(). { clause_t temp; memset( &temp, 0, sizeof( clause_t ) ); register int i = 0; register int opposite = 0; for( ; i < 26; i++ ) { register char ch = (char)( i + 'A' ); // Same letter if ( data.logic.letters[ i ] == src.data.logic.letters[ i ] && data.logic.letters[ i ] > 0 ) { // Different by sign P vs ~P if ( data.logic.negated[ i ] != src.data.logic.negated[ i ] ) { printf( "Same [%c] but different sign \n", ch ); opposite++; } else { printf( "Same [%c] with same sign \n", ch ); temp.logic.letters[ i ] = data.logic.letters[ i ]; temp.logic.negated[ i ] = data.logic.negated[ i ]; temp.logic.variables[ temp.logic.nbVariables++ ] = ch; } } else if ( ( data.logic.letters[ i ] | src.data.logic.letters[ i ] ) > 0 ) { printf( "Different letter [%c] \n", ch ); temp.logic.letters[ i ] = 1; // Different so one of them exist temp.logic.negated[ i ] = data.logic.negated[ i ] | src.data.logic.negated[ i ]; temp.logic.variables[ temp.logic.nbVariables++ ] = ch; } // Different by at least two letters if ( opposite > 1 ) { memset( &temp, 0, sizeof( clause_t ) ); temp.status = C_invalid; printf( "Opposite by more than 1 \n" ); return temp; } } // Different by exactly one letter if ( opposite == 1 ) { // Undefined but valid. printf( "Opposite by 1 \n" ); return temp; } else { printf( "Opposite not by 1 \n" ); memset( &temp, 0, sizeof( clause_t ) ); temp.status = C_invalid; return temp; } }

void Clause::compose (    )

Definition at line 122 of file clause.cpp. Referenced by print(). { if ( data.status != C_undefined ) { if ( data.status == C_true ) { printf( "True" ); assign( "True" ); return; } else if ( data.status == C_false ) { printf( "False" ); assign( "False" ); return; } else if ( data.status == C_nil ) { printf( "Nil" ); assign( "Nil" ); return; } } char buffer[ 160 ]; memset( buffer, 0, 160 ); register int pos = 0; register int i = 0; printf( "compose \n" ); for( ; i < data.logic.nbVariables; i++ ) { if ( pos > 0 ) { buffer[ pos++ ] = ' '; buffer[ pos++ ] = 'v'; buffer[ pos++ ] = ' '; } register char ch = data.logic.variables[ i ]; if ( data.logic.negated[ ch - 'A' ] == 1 ) { buffer[ pos++ ] = '~'; } buffer[ pos++ ] = ch; } buffer[ pos++ ] = '\0'; assign( buffer ); }

void Clause::decompose (    )

Definition at line 67 of file clause.cpp. Referenced by Clause(). { if ( data.string == NULL ) return; // Clear logic buffer memset( &data.logic, 0, sizeof( logic_t ) ); register size_t i = 0; register char neg = 0; for( ; i < data.len; i++ ) { register char ch = data.string[ i ]; if ( ch == 'v' ) { neg = 0; continue; } if ( ch == '~' ) { neg = 1 - neg; // Negate the neg variable continue; } if ( ch >= 'a' && ch <= 'z' ) // to Upper Case { ch = ch - 'a' + 'A'; } if ( ch >= 'A' && ch <= 'Z' ) // store { register char index = ch - 'A'; if ( data.logic.letters[ index ] > 0 ) // Variable already parsed. { if ( data.logic.negated[ index ] != neg ) { data.status = C_true; // P v ~P = TRUE break; } else // P v P = P Noop { } } else { data.logic.letters[ index ] = 1; data.logic.negated[ index ] = neg; data.logic.variables[ data.logic.nbVariables++ ] = ch; } } } }

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

Definition at line 21 of file clause.cpp. { memcpy( &data, &src.data, sizeof( clause_t ) ); return *this; }

void Clause::print (    )

Definition at line 42 of file clause.cpp. Referenced by main(). { if ( data.string != NULL ) compose(); printf( "Clause=[%s]\n", data.string ); fflush( stdout ); }

---

Member Data Documentation

clause_t Clause::data [private]

Definition at line 42 of file clause.hpp. Referenced by Clause(), compare(), and operator=().

---

The documentation for this class was generated from the following files:

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

---