fr.inria.edelweiss.rif.ast.Or Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of rif Show documentation

The newest version!

package fr.inria.edelweiss.rif.ast;

import fr.inria.edelweiss.rif.api.IFormula;

/** Disjunction of formulas */
public class Or extends Connective {
	private Or() {}
	
	public static Or create() {
		return new Or() ;
	}
	
	public void compile() {
		for(IFormula f : connectedStatements) f.toString() ;
	}
	
}