package models.formulas.meta;

import java.util.HashMap;
import java.util.Map;

import models.algebra.Variable;
import models.formulas.Formula;
import models.terms.RDLTerm;
import models.terms.meta.OrderVariableConstraint;

public abstract class MetaFormula {

	public boolean isMatchBy(Formula formula) {
		return isMatchBy(formula, new HashMap<>(), new HashMap<>());
	}
	
	public abstract boolean isMatchBy(Formula formula, Map<Variable, RDLTerm> binding, Map<Variable, OrderVariableConstraint> orderConstraint);
	
}