fr.inria.edelweiss.rif.ast.Atomic 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.IClause;
import fr.inria.edelweiss.rif.api.IConclusion;
import fr.inria.edelweiss.rif.api.IConnectible;
import fr.inria.edelweiss.rif.api.IFormula;


/** An atomic term can be either :
 * a rule's clause (existentially quantified or not), it's usually called a universal fact
 * an item of a condition formula */
public abstract class Atomic extends Statement implements IFormula, IClause, IConclusion, IConnectible {
}