net.sf.tweety.logics.fol.syntax.tptp.fof

Class TptpFofAssociative

java.lang.Object

net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofAssociative

public class TptpFofAssociative
extends Object

This class models the connection between two formulae

Author:

Bastian Wolf

Field Summary

Fields

Modifier and Type	Field and Description
static String	AND
static String	OR

Constructor Summary

Constructors

Constructor and Description
TptpFofAssociative(String sym) Constructor using given associative symbol

Method Summary

Modifier and Type	Method and Description
String	getAssoc()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

AND

public static final String AND

OR

public static final String OR

Constructor Detail

TptpFofAssociative

public TptpFofAssociative(String sym)

Constructor using given associative symbol

Parameters:

sym - given associative symbol

Method Detail

getAssoc

public String getAssoc()