Class ArithmeticTerm

java.lang.Object
All Implemented Interfaces:
LogicStructure, Term<Triple<ASPOperator.ArithmeticOperator,Term<?>,Term<?>>>

public class ArithmeticTerm extends TermAdapter<Triple<ASPOperator.ArithmeticOperator,Term<?>,Term<?>>>
This class represents an arithmetic term in the ASP-Core-2 format. An arithmetic term is either '-(t)' or 't x u', where t and u are terms and x is one of the operators {+,-,*,/,\}.
Author:
Anna Gessler