// Test the ModelVisualizer functionality
import { LogicManager } from '../dist/logicManager.js';
const manager = new LogicManager();
console.log('\n=== Testing Model Visualizer ===');
// Test predicate logic with a simple formula
const predicateFormula = 'P(x)';
const predicateVisualization = manager.process('predicate', 'visualize', predicateFormula);
console.log('Predicate Visualization:', JSON.stringify(predicateVisualization, null, 2));
// Test with a more complex formula containing quantifiers
const quantifierFormula = '∀x(P(x) → Q(x))';
const quantifierVisualization = manager.process('predicate', 'visualize', quantifierFormula);
console.log('Quantifier Visualization:', JSON.stringify(quantifierVisualization, null, 2));
// Test if the SVG visualization is now working
if (predicateVisualization.status === 'success' && predicateVisualization.details.visualization) {
console.log('\n✅ ModelVisualizer successfully integrated!');
// Save visualization to file for inspection
const fs = await import('fs');
if (predicateVisualization.details.visualization.includes('<svg')) {
fs.writeFileSync('test-visualization.svg', predicateVisualization.details.visualization);
console.log('Visualization saved to test-visualization.svg');
}
} else {
console.log('\n❌ ModelVisualizer not yet properly integrated');
}
