// Test the LogicCircuitVisualizer functionality
import { LogicManager } from '../dist/logicManager.js';
const manager = new LogicManager();
console.log('\n=== Testing Logic Circuit Visualizer ===');
// Test a simple propositional formula
const simpleFormula = 'P ∧ Q';
const simpleVisualization = manager.process('propositional', 'visualize', simpleFormula);
console.log('Simple Circuit Visualization:', JSON.stringify(simpleVisualization, null, 2));
// Test a more complex formula
const complexFormula = '(P → Q) ∧ (Q → R)';
const complexVisualization = manager.process('propositional', 'visualize', complexFormula);
console.log('\nComplex Circuit Visualization:', JSON.stringify(complexVisualization, null, 2));
// Test if the SVG visualization is now working
if (simpleVisualization.status === 'success' && simpleVisualization.details.visualization) {
console.log('\n✅ LogicCircuitVisualizer successfully integrated!');
// Save visualization to file for inspection
const fs = await import('fs');
if (simpleVisualization.details.visualization.includes('<svg')) {
fs.writeFileSync('test-circuit-simple.svg', simpleVisualization.details.visualization);
console.log('Simple circuit saved to test-circuit-simple.svg');
}
if (complexVisualization.details.visualization.includes('<svg')) {
fs.writeFileSync('test-circuit-complex.svg', complexVisualization.details.visualization);
console.log('Complex circuit saved to test-circuit-complex.svg');
}
} else {
console.log('\n❌ LogicCircuitVisualizer not yet properly integrated');
}
