Package jason.asSyntax

Class LogExpr

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.BinaryStructure

jason.asSyntax.LogExpr

All Implemented Interfaces:

LogicalFormula, Term, ToDOM, ToJson, Serializable, Cloneable, Comparable<Term>

public class LogExpr
extends BinaryStructure
implements LogicalFormula

Represents a logical formula with some logical operator ("&", "|", "not").

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	LogExpr.LogicalOp

Field Summary

Fields

Modifier and Type	Field	Description
static final List<Unifier>	EMPTY_UNIF_LIST

Fields inherited from class jason.asSyntax.Structure

emptyTermArray, emptyTermList

Fields inherited from class jason.asSyntax.Literal

DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache

Fields inherited from class jason.asSyntax.DefaultTerm

hashCodeCache, srcInfo

Constructor Summary

Constructors

Constructor	Description
LogExpr(LogExpr.LogicalOp oper, LogicalFormula f)
LogExpr(LogicalFormula f1, LogExpr.LogicalOp oper, LogicalFormula f2)

Method Summary

Modifier and Type	Method	Description
Term	capply(Unifier u)	clone and applies together (and faster than clone and then apply)
LogicalFormula	clone()	make a hard copy of the terms
Literal	cloneNS(Atom newnamespace)	clone in another namespace
static Iterator<Unifier>	createUnifIterator(Unifier... unifs)	creates an iterator for a list of unifiers
Element	getAsDOM(Document document)	get as XML
LogicalFormula	getLHS()	gets the LHS of this Expression
LogExpr.LogicalOp	getOp()	gets the Operation of this Expression
LogicalFormula	getRHS()	gets the RHS of this Expression
Iterator<Unifier>	logicalConsequence(Agent ag, Unifier un)	logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.
static LogicalFormula	parseExpr(String sExpr)	returns some LogicalFormula that can be evaluated

Methods inherited from class jason.asSyntax.BinaryStructure

toString

Methods inherited from class jason.asSyntax.Structure

addTerm, addTerms, addTerms, calcHashCode, countVars, delTerm, equals, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, hasVar, isAtom, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, varToReplace

Methods inherited from class jason.asSyntax.Atom

compareTo, getFunctor, getNS

Methods inherited from class jason.asSyntax.Literal

addAnnot, addAnnots, addAnnots, addSource, addSourceInfoAsAnnots, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delAnnots, delSource, delSources, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getAsJson, getAsListOfTerms, getPredicateIndicator, getSources, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, isLiteral, negated, newFromListOfTerms, newFunctor, noSource, parseLiteral, setAnnots, setNegated, subjectToBUF

Methods inherited from class jason.asSyntax.DefaultTerm

getCyclicVar, getErrorMsg, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isInternalAction, isList, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface jason.asSyntax.Term

countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes

Methods inherited from interface jason.util.ToJson

getAsJson, getAsJsonStr

Field Details

EMPTY_UNIF_LIST

public static final List<Unifier> EMPTY_UNIF_LIST

Constructor Details

LogExpr

public LogExpr(LogicalFormula f1,
 LogExpr.LogicalOp oper,
 LogicalFormula f2)

LogExpr

public LogExpr(LogExpr.LogicalOp oper,
 LogicalFormula f)

Method Details

getLHS

public LogicalFormula getLHS()

gets the LHS of this Expression

Overrides:

getLHS in class BinaryStructure

getRHS

public LogicalFormula getRHS()

gets the RHS of this Expression

Overrides:

getRHS in class BinaryStructure

logicalConsequence

public Iterator<Unifier> logicalConsequence(Agent ag,
 Unifier un)

Description copied from class: Literal

logicalConsequence checks whether one particular predicate is a logical consequence of the belief base. Returns an iterator for all unifiers that are logCons.

Specified by:

logicalConsequence in interface LogicalFormula

Overrides:

logicalConsequence in class Literal

createUnifIterator

public static Iterator<Unifier> createUnifIterator(Unifier... unifs)

creates an iterator for a list of unifiers

parseExpr

public static LogicalFormula parseExpr(String sExpr)

returns some LogicalFormula that can be evaluated

capply

public Term capply(Unifier u)

Description copied from interface: Term

clone and applies together (and faster than clone and then apply)

Specified by:

capply in interface Term

Overrides:

capply in class Structure

clone

public LogicalFormula clone()

make a hard copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class Structure

cloneNS

public Literal cloneNS(Atom newnamespace)

Description copied from interface: Term

clone in another namespace

Specified by:

cloneNS in interface Term

Overrides:

cloneNS in class Structure

getOp

public LogExpr.LogicalOp getOp()

gets the Operation of this Expression

getAsDOM

public Element getAsDOM(Document document)

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class BinaryStructure