EMultiModalValidator.java

package nl.rug.ai.mas.oops.tableau;

import nl.rug.ai.mas.oops.formula.*;

public class EMultiModalValidator implements FormulaValidator {
	private static class Validator implements FormulaVisitor {
		private boolean d_valid = true;

		public void visitBiImplication(BiImplication f) {
		}
		public void visitConjunction(Conjunction f) {
		}
		public void visitDisjunction(Disjunction f) {
		}
		public void visitImplication(Implication f) {
		}
		public void visitMultiBox(MultiBox f) {
		}
		public void visitMultiDiamond(MultiDiamond f) {
		}
		public void visitNegation(Negation f) {
		}
		public void visitProposition(Proposition f) {
		}
		public void visitUniBox(UniBox f) {
			// Repurpose these to the [E] operator
		}
		public void visitUniDiamond(UniDiamond f) {
			// Repurpose these to the <I> operator
		}
		public void visitFormulaReference(FormulaReference f) {
		}

		public boolean getResult() {
			return d_valid;
		}
	}

	public boolean validate(Formula f) {
		Validator v = new Validator();
		f.accept(v);
		return v.getResult();
	}

	public String toString() {
		return "EMultiModalValidator";
	}
}