Login   Register  
PHP Classes
elePHPant
Icontem

File: examples/example4.php

Recommend this page to a friend!
Stumble It! Stumble It! Bookmark in del.icio.us Bookmark in del.icio.us
  Classes of naholyr  >  First Order Logic Prop  >  examples/example4.php  >  Download  
File: examples/example4.php
Role: Example script
Content type: text/plain
Description: Show cloning feature, and how to set values to variables in a proposition
Class: First Order Logic Prop
Manipulate, analyze, and prove logic propositions
Author: By
Last change:
Date: 2003-10-07 10:58
Size: 280 bytes
 

Contents

Class file image Download
<?php

require '../FirstOrderLogicProp.inc.php';

$p = new FirstOrderLogicProp('(a <!> b) & (b -> a)');
$p->writeLn();
$q = &$p->clone();
$q->clean();
$q->writeLn();
$p->setValues(array('a'=>'1', 'b'=>'0'));
$p->replaceWithValues();
$p->writeLn();
$p->clean();
$p->writeLn();


?>