diff options
Diffstat (limited to 'org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESSimplifier.java')
-rw-r--r-- | org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESSimplifier.java | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESSimplifier.java b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESSimplifier.java new file mode 100644 index 0000000..3b62b87 --- /dev/null +++ b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/ESSimplifier.java @@ -0,0 +1,72 @@ +/******************************************************************************* + * Copyright (c) 2009 Elliott Baron + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Elliott Baron - initial API and implementation + *******************************************************************************/ +package org.eclipse.cdt.codan.extension; + +import java.util.HashSet; +import java.util.List; +import java.util.Set; + +import org.eclipse.cdt.codan.extension.Minterm.Value; +import org.eclipse.cdt.core.dom.ast.IVariable; + +public class ESSimplifier extends QuineMcCluskeySimplifier<IVariable> { + + public ESSimplifier(ITruthTable<IVariable> tt) { + super(tt); + } + + public Set<ExecutionState> getExecutionStateCover() { + Set<ExecutionState> ret = new HashSet<ExecutionState>(); + List<Minterm<IVariable>> implicantCover = getImplicantCover(); + for (Minterm<IVariable> term : implicantCover) { + ExecutionState es = new ExecutionState(); + for (IVariable var : variables) { + Value val = term.getValue(var); + if (val == Value.TRUE) { + es.addClause(new ExecutionStateClause(var, true)); + } + else if (val == Value.FALSE) { + es.addClause(new ExecutionStateClause(var, false)); + } + // Don't care about Don't cares + } + ret.add(es); + } + return ret; + } + + @Override + public String toString() { + StringBuffer buf = new StringBuffer(); + for (IVariable var : variables) { + buf.append(var.getName()); + buf.append(" "); + } + buf.append("\n"); + for (Minterm<IVariable> term : minterms) { + for (IVariable var : variables) { + switch (term.getValue(var)) { + case TRUE: + buf.append("1"); + break; + case FALSE: + buf.append("0"); + break; + default: + buf.append("-"); + } + buf.append(" "); + } + buf.append("\n"); + } + return buf.toString(); + } +} |