techniques.FOL
Class Clause

java.lang.Object
  |
  +--techniques.FOL.Clause

public class Clause

extends java.lang.Object

A Clause is a set of Literals, implicitly disjoined.

Constructor Summary

Clause()

Clause(Clause c)

Clause(Literal l)

Clause(java.util.Vector ls)

Clause(java.util.Vector ls, boolean status)

 

Method Summary
void	addLiteral(Literal newL)
Clause	concatenate(Clause c2)
boolean	isTrue()
Literal	literalAt(int i)
void	print(java.io.PrintStream ps)
void	removeLiteralAt(int i)
Clause	renameVariables()
int	size()
Clause	substitute(Substitution s)
java.lang.String	toString()

 

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Constructor Detail

Clause

public Clause()

Clause

public Clause(Literal l)

Clause

public Clause(Clause c)

Clause

public Clause(java.util.Vector ls)

Clause

public Clause(java.util.Vector ls,
              boolean status)

isTrue

public boolean isTrue()

literalAt

public Literal literalAt(int i)

size

public int size()

addLiteral

public void addLiteral(Literal newL)

removeLiteralAt

public void removeLiteralAt(int i)

substitute

public Clause substitute(Substitution s)

renameVariables

public Clause renameVariables()

concatenate

public Clause concatenate(Clause c2)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

print

public void print(java.io.PrintStream ps)