astra.formula.AcreFormula Maven / Gradle / Ivy

Go to download
package astra.formula;

import astra.reasoner.util.LogicVisitor;
import astra.term.Term;

public class AcreFormula implements Formula {
	/**
	 *
	 */
	private static final long serialVersionUID = 1829627822145176741L;
	
	Term cid;
	Term index;
	Term type;
	Term performative;
	Formula content;
	
	public AcreFormula(Term cid, Term index, Term type, Term performative, Formula content) {
		this.cid = cid;
		this.index = index;
		this.type = type;
		this.performative = performative;
		this.content = content;
	}

	public void reIndex() {
		cid.reIndex();
		index.reIndex();
		type.reIndex();
		performative.reIndex();
		content.reIndex();
	}

	public Object accept(LogicVisitor visitor) {
		return visitor.visit(this);
	}

	public boolean matches(Formula formula) {
		return false;
	}

	public Term cid() {
		return cid;
	}
	
	public Term index() {
		return index;
	}
	
	public Term type() {
		return type;
	}
	
	public Term performative() {
		return performative;
	}
	
	public Formula content() {
		return content;
	}
}